Petri nets are a formal and theoretically rich model for the modelling and analysis of systems. A subclass of Petri nets, augmented marked graphs possess a structure that is especially desirable for the modelling and analysis of systems with concurrent processes and shared resources. This monograph consists of three parts: Part I provides the conceptual background for readers who have no prior knowledge on Petri nets; Part II elaborates the theory of augmented marked graphs; finally, Part III discusses the application to ...

Augmented Marked Graphs 2016, Springer

ISBN-13: 9783319357607

Softcover Reprint of the Origi edition

Trade paperback

Augmented Marked Graphs 2014, Springer

ISBN-13: 9783319064277

2014 edition