Autor*innen mit den meisten Dokumenten
Neueste Veröffentlichungen
- ZeitschriftenartikelDie Vorstandsperspektive: Braucht die Informatik einen Verein?(Informatik-Spektrum: Vol. 37, No. 3, 2014) Oberweis, Andreas
- ZeitschriftenartikelMedizinische Entscheidungsunterstützungssysteme(Informatik-Spektrum: Vol. 37, No. 3, 2014) Puppe, Frank
- ZeitschriftenartikelPetrinetze(Informatik-Spektrum: Vol. 37, No. 3, 2014) Desel, Jörg; Reisig, Wolfgang
- ZeitschriftenartikelMitteilungen der Gesellschaft für Informatik 227. Folge (Fortsetzung)(Informatik-Spektrum: Vol. 37, No. 3, 2014)
- ZeitschriftenartikelPetri und wie er die Welt sah(Informatik-Spektrum: Vol. 37, No. 3, 2014) Smith, EinarDer 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.
- ZeitschriftenartikelExplizites Model Checking: Welche Vorteile bieten Petrinetze?(Informatik-Spektrum: Vol. 37, No. 3, 2014) Wolf, KarstenPetrinetze 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.
- ZeitschriftenartikelKonzepte der Petrinetze(Informatik-Spektrum: Vol. 37, No. 3, 2014) Reisig, Wolfgang; Desel, Jörg
- ZeitschriftenartikelNur Absagen – da soll Fachkräftemangel herrschen?(Informatik-Spektrum: Vol. 37, No. 3, 2014) Dueck, Gunter
- ZeitschriftenartikelMitteilungen der Gesellschaft für Informatik 227. Folge(Informatik-Spektrum: Vol. 37, No. 3, 2014)
- ZeitschriftenartikelNeue, einfache Algorithmen für Petrinetze(Informatik-Spektrum: Vol. 37, No. 3, 2014) Finkel, Alain; Leroux, JérômeWir zeigen, wie die Entscheidungsprobleme der Überdeckung, der Beschränktheit und der Erreichbarkeit mithilfe induktiver Invarianten einfacher lösbar sind als mit herkömmlichen Methoden.