REAL-TIME PETRI NETS FOR DISCRETE EVENT CONTROL