Feedback control synthesis for a class of controlled Petri nets with time constraints

This paper presents a cyclic timed controlled marked graph (TCMG) as a model of a discrete event system (DES), which is a special class of timed controlled Petri net (TCPN). In TCMG, the remarking time for a place is represented in terms of the time delays attached to the place. The possible marking times for a place are calculated under the various controls. A maximally permissive state feedback control is characterized in TCMG which has more enlarged admissible marking sets than a cyclic controlled marked graph (CMG)