Band 37 - Heft 3 (Juni 2014)

Auflistung nach:

1 - 1 von 1

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.