Petri Net Simulator