Petri nets

< Modeling techniques
 * Wikipedia: https://en.wikipedia.org/wiki/Petri_net