/lively4-petrinet/demos/pi