System modeling and control with resource-oriented Petri nets | lit.salon