Priese, Lutz; Wimmel, Harro <br/><br/>
Petri-Netze 
Lutz; Wimmel, Harro Priese 
 - 2. Aufl. 
 - Berlin; Heidelberg  Springer  2008 
 - 374 S. 
<br/><br/><label>ISBN: </label>9783540769705  29,95 EUR 
<br/><br/><label>Subjects--Index Terms: </label>Informationssysteme Petrinetze parallele Rechnungen Beweistechniken Algorithmus Erreichbarkeitsfrage Graphen Invarianten True-Concurrency