Springer Petri Nets: Theoretical Models and Analysis Methods

Explore the fundamentals of concurrent systems with this comprehensive guide from Springer. This book covers essential Petri net theory and provides detailed information on Petri net-based model checking methods. Readers will gain a deep understanding of interleaving and concurrency semantics within elementary net systems. The text examines important net structures including invariants, repetitive vectors, siphons, and traps. It also details various classical net subclasses such as state machines, marked graphs, free-choice nets, asymmetric-choice nets, normal nets, and weakly persistent nets. By studying basic properties like reachability, liveness, deadlock, and soundness, users can better analyze complex concurrent systems. This resource is a vital tool for those studying computing, programming, and formal modeling methods.