Petri nets

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