TY  - BOOK
AU  - Priese, Lutz; Wimmel, Harro
AU  - Priese,Lutz; Wimmel,Harro
TI  - Petri-Netze
SN  - 9783540769705
PY  - 2008///
CY  - Berlin; Heidelberg
PB  - Springer
KW  - Informationssysteme
KW  - Petrinetze
KW  - parallele Rechnungen
KW  - Beweistechniken
KW  - Algorithmus
KW  - Erreichbarkeitsfrage
KW  - Graphen
KW  - Invarianten
KW  - True-Concurrency
ER  -