In this clip, we introduce several runtime properties to analyze the behavior of Petri nets.
This clip is part of the course Process modeling, a first year introductory course on process modeling and Petri nets in particular for the bachelor Information Sciences at Utrecht University
