A Petri Net simulator.