Title: Petri Net Theory and the Modeling of Systems