The Petri Net Model

In this chapter discrete event systems are defined and the Petri net model for these dynamic systems is introduced. Petri nets have both an algebraic and a graphical representation. We mainly focus on the algebraic representation as it is the one used most often throughout the book. Further, Petri net properties which are used in later chapters are formulated.