In this paper a type of specifications called OR-AND Generalized Mutual Exclusion Constraints (GMEC) for place/transition nets is defined. Such a specification consists of a disjunction of conjunction of several single GMECs, i.e., the requirement is that, at any given time, the controlled system should satisfy at least one set of conjunctive GMECs. We show that a bounded OR-AND GMEC can be enforced by a special control structure composed by a set of AND-GMEC monitor places plus a switcher that determines the current active ones. We also show that such a simple control structure can be modified to ensure maximal permissiveness. This approach can be used in the framework of supervisory control in Petri nets.

Design of Optimal Petri Net Controllers for Disjunctive Generalized Mutual Exclusion Constraints

Ma Z;Li Z;GIUA, ALESSANDRO
2015-01-01

Abstract

In this paper a type of specifications called OR-AND Generalized Mutual Exclusion Constraints (GMEC) for place/transition nets is defined. Such a specification consists of a disjunction of conjunction of several single GMECs, i.e., the requirement is that, at any given time, the controlled system should satisfy at least one set of conjunctive GMECs. We show that a bounded OR-AND GMEC can be enforced by a special control structure composed by a set of AND-GMEC monitor places plus a switcher that determines the current active ones. We also show that such a simple control structure can be modified to ensure maximal permissiveness. This approach can be used in the framework of supervisory control in Petri nets.
2015
Discrete Event Systems; Petri nets; Supervisory Control; Generalized Mutual Exclusion Constraints
File in questo prodotto:
File Dimensione Formato  
15tac_b.pdf

Solo gestori archivio

Tipologia: versione editoriale
Dimensione 882.51 kB
Formato Adobe PDF
882.51 kB Adobe PDF   Visualizza/Apri   Richiedi una copia
15tac_b_draft.pdf

accesso aperto

Tipologia: versione post-print
Dimensione 482.15 kB
Formato Adobe PDF
482.15 kB Adobe PDF Visualizza/Apri

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/11584/121790
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 115
  • ???jsp.display-item.citation.isi??? 110
social impact