Petri Net Theory and the Modeling of Systems | lit.salon