Logo des Repositoriums
 

Band 37 - Heft 3 (Juni 2014)

Autor*innen mit den meisten Dokumenten  

Auflistung nach:

Neueste Veröffentlichungen

1 - 10 von 15
  • Zeitschriftenartikel
    Die Vorstandsperspektive: Braucht die Informatik einen Verein?
    (Informatik-Spektrum: Vol. 37, No. 3, 2014) Oberweis, Andreas
  • Zeitschriftenartikel
    Medizinische Entscheidungsunterstützungssysteme
    (Informatik-Spektrum: Vol. 37, No. 3, 2014) Puppe, Frank
  • Zeitschriftenartikel
    Petrinetze
    (Informatik-Spektrum: Vol. 37, No. 3, 2014) Desel, Jörg; Reisig, Wolfgang
  • Zeitschriftenartikel
    Mitteilungen der Gesellschaft für Informatik 227. Folge (Fortsetzung)
    (Informatik-Spektrum: Vol. 37, No. 3, 2014)
  • Zeitschriftenartikel
    Petri und wie er die Welt sah
    (Informatik-Spektrum: Vol. 37, No. 3, 2014) Smith, Einar
    Der Artikel enthält eine kurze Zusammenfassung und Erläuterung des wissenschaftlichen Werks Carl Adam Petris. Zum Verständnis werden nur elementare Grundkenntnisse der Netztheorie vorausgesetzt.
  • Zeitschriftenartikel
    Explizites Model Checking: Welche Vorteile bieten Petrinetze?
    (Informatik-Spektrum: Vol. 37, No. 3, 2014) Wolf, Karsten
    Petrinetze wurden vorgeschlagen, um Schwächen klassischer Automatenmodelle zu beheben. Explizites Model Checking übersetzt jedoch zunächst ein Petrinetz in einen klassischen Automaten. Damit gibt man zunächst die Vorteile von Petrinetzen scheinbar wieder auf. Wir zeigen jedoch, dass die wichtigsten Techniken des expliziten Model Checking besonders effizient sind, wenn sie grundlegende Prinzipien von Petrinetzen berücksichtigen. Dieser Beitrag beschreibt Resultate, die auf praktischen Erfahrungen mit einem petrinetzbasierten Werkzeug zum expliziten Model Checking beruhen.
  • Zeitschriftenartikel
    Konzepte der Petrinetze
    (Informatik-Spektrum: Vol. 37, No. 3, 2014) Reisig, Wolfgang; Desel, Jörg
  • Zeitschriftenartikel
    Nur Absagen – da soll Fachkräftemangel herrschen?
    (Informatik-Spektrum: Vol. 37, No. 3, 2014) Dueck, Gunter
  • Zeitschriftenartikel
    Mitteilungen der Gesellschaft für Informatik 227. Folge
    (Informatik-Spektrum: Vol. 37, No. 3, 2014)
  • Zeitschriftenartikel
    Neue, einfache Algorithmen für Petrinetze
    (Informatik-Spektrum: Vol. 37, No. 3, 2014) Finkel, Alain; Leroux, Jérôme
    Wir zeigen, wie die Entscheidungsprobleme der Überdeckung, der Beschränktheit und der Erreichbarkeit mithilfe induktiver Invarianten einfacher lösbar sind als mit herkömmlichen Methoden.