On the influencing net and forbidden state control of timed Petri nets with forced transitions (original) (raw)

In this paper we discuss forbidden state feedback control design for real-time discrete event systems modeled by timed Petri nets. The ring time of a state-enabled transition lies in an interval which can be modi ed for controllable transitions. Once the upper bound is reached, the transition, controllable or uncontrollable, is forced to re. We construct necessary and su cient conditions for the control to satisfy forbidden state control objectives for the case of a timed marked graph. From these equations we derive what the in uencing net looks like.