petri-nets-in-system-modeling