Introduction to Petri Nets

This chapter introduces the basic concepts of Petri nets. This chapter starts with the formal definitions of some of the key concepts (such as P/T Petri nets, enabled transitions, and state space). The state equation and the structural properties (P-invariant and t-invariant) are introduced. Also, a short introduction to strongly connected event graphs and timed Petri nets is given.