Regulation control in interpreted Petri nets using trace equivalence

This paper is concerned with the control problem of discrete event systems (DES) when both, the system to be controlled (plant) and the required behavior (specification), are modeled by interpreted Petri nets (IPN). Trace equivalence is defined for IPN in order to determine when the behavior of a system is embedded into another one. Moreover, trace equivalence can be characterized by linear programming methods. This result is applied for building IPN regulator controllers, where the plant must track the imposed by a specification system.