Petri net control using event observers and timing information