Text this: Petri Net Theory and the Modeling of Systems /