Normale Ansicht MARC ISBD

Priese, Lutz; Wimmel, Harro

Petri-Netze Lutz; Wimmel, Harro Priese - 2. Aufl. - Berlin; Heidelberg Springer 2008 - 374 S.

ISBN: 9783540769705 29,95 EUR

Subjects--Index Terms: Informationssysteme Petrinetze parallele Rechnungen Beweistechniken Algorithmus Erreichbarkeitsfrage Graphen Invarianten True-Concurrency