Zeitschriftenartikel
Neue, einfache Algorithmen für Petrinetze
Vorschaubild nicht verfügbar
Volltext URI
Dokumententyp
Text/Journal Article
Zusatzinformation
Datum
2014
Autor:innen
Zeitschriftentitel
ISSN der Zeitschrift
Bandtitel
Verlag
Springer-Verlag
Zusammenfassung
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.