Springer - Petri Nets: Theoretical Models and Analysis Methods

Master the fundamentals of concurrent systems with this comprehensive guide from Springer. This book offers a deep look into Petri net theory and essential model checking methods used to analyze complex systems. Readers gain a clear understanding of both interleaving and concurrency semantics within elementary net systems. This text covers vital net structures such as invariants, repetitive vectors, siphons, and traps. It provides a detailed breakdown of classical net subclasses, including state machines, marked graphs, free-choice nets, and weakly persistent nets. By studying these models, you can better understand and manage basic properties like reachability, liveness, deadlock, and soundness. Designed for those studying computing and programming, this resource serves as a foundational tool for analyzing high-level Petri nets. Whether you are researching concurrency semantics or looking to apply model checking to system design, this book provides the theoretical framework necessary for advanced analysis.