petri-net simulation