PakCat catalogue record Petri nets for systems engineering a guide to modeling, verification, and applications20/08/2013 09:49 By Girault, Claude Bibliographic details ISBN9783642074479 PublisherSpringer Publication placeNew YorkCD20960 Publication year2010 LanguageEnglish Material typeBook Physical descriptionxvi SubjectsComputer Sciences