petri-net-simulation