In: Proceedings of 32nd IEEE Conference on Decision and Control, San Antonio, Texas, USA. 1993.
Abstract: A method is presented to synthesize real-time supervisors for controlled time Petri nets (CtlTPNs) based on the synthesis of logical supervisors for a related untimed controlled automata. The approach is based on the generation of the control class graph (CCG) for the CtlTPN which models the complete logical behavior of the timed system.