Synthesis of real-time supervisors for controlled time Petri nets
Archana S. Sathaye, Bruce H. Krogh · 2002
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.>