Chapter 5: Petri Net Theory and the Modeling of Systems