Dynamics: Petri-net notation