Multiple specification regulation control in interpreted Petri nets

This work is concerned with the regulation control of discrete event systems (DES) modeled by interpreted Petri nets (IPN). The main idea is to build a controller, in such a way that the system output always be equal to the actual specification output. This work also presents the case when multiple specifications are given (i.e. the multiple specification regulation controller), such a problem arise, for instance, in flexible manufacturing systems (FMS), where several products (specifications) must be produced simultaneously.