Compact and decentralized supervisors for general constraint enforcement in Petri net models

This paper concerns the design of decentralized supervisors for Petri nets. In the considered framework, the set of transitions is partitioned into blocks belonging to different modules, and any local controller can operate only on the transitions of a given module. A decentralized supervisor is determined that enforces a global specification given in terms of Generalized Mutual Exclusion Constraints so that each local supervisor detects and disables transitions of a single module only. The proposed approach computes a maximally permissive solution.