Petri Nets Fundamental Models, Verification and Applications

Presenting the definition, validation, and application of a selected set of Petri nets, this volume introduces the basic models, including time and stochastic extensions, in particular place-transition and high-level Petri nets. Next, related verification problems are identified, and Petri net behavior and properties are fully explored in order to propose solutions. Finally, examples are presented in the important fields of interoperability in telecommunication services, programming languages, multimedia architectures, manufacturing systems, and communication protocols.Diaz, Michel is the author of 'Petri Nets Fundamental Models, Verification and Applications', published 2007 under ISBN 9781905209828 and ISBN 1905209827.