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.
Compact and decentralized supervisors for general constraint enforcement in Petri net models
PIRODDI, LUIGI
2013-01-01
Abstract
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.File in questo prodotto:
File | Dimensione | Formato | |
---|---|---|---|
2013 - CDC - BasileCordonePiroddi.pdf
Accesso riservato
:
Post-Print (DRAFT o Author’s Accepted Manuscript-AAM)
Dimensione
228.79 kB
Formato
Adobe PDF
|
228.79 kB | Adobe PDF | Visualizza/Apri |
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.