Chapter 3: Petri Net Theory and the Modeling of Systems