/lively4-petrinet/src/components/demo/lively-math.html