/lively4-petrinet/demos/lively-simulation/documentation