Beschreibung
Introduces algorithms that allow the analysis of time-dependent Petri netsAssumes an undergraduate level of mathematical logicBased on an established graduate-level course taught in Germany and France, text is supported with exercises and examples in all chapters
Herstellerkennzeichnung:
Springer Verlag GmbH
Tiergartenstr. 17
69121 Heidelberg
DE
E-Mail: juergen.hartmann@springer.com




































































































