A simple library for modelling and executing Petri Nets