Augmented Marked Graphs

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 know...