In this paper we study the problem of constraint transformation for Petri nets with uncontrollable transitions and containing both conicts and synchronizations. We show that given an arbitrary net and a set of legal markings, the admissible marking set cannot always be represented by a nite number of disjunctions of GMECs. Moreover, we characterize the GMEC ination phenomenon, that is, the case in which the representation of the admissible marking set may be too complex to be efciently implemented in a closed-loop net. To rule out the possibility of GMEC ination we consider a subclass of constraints called singular GMECs with an acyclic backwardcon ict-free uncontrollable subnet. By these assumptions we propose an algorithm to transform a given singular GMEC into a controllable OR-GMEC which precisely characterizes its admissible marking set.

Characterization of Admissible Marking Sets in Petri Nets with Conflicts and Synchronizations

GIUA, ALESSANDRO
2017

Abstract

In this paper we study the problem of constraint transformation for Petri nets with uncontrollable transitions and containing both conicts and synchronizations. We show that given an arbitrary net and a set of legal markings, the admissible marking set cannot always be represented by a nite number of disjunctions of GMECs. Moreover, we characterize the GMEC ination phenomenon, that is, the case in which the representation of the admissible marking set may be too complex to be efciently implemented in a closed-loop net. To rule out the possibility of GMEC ination we consider a subclass of constraints called singular GMECs with an acyclic backwardcon ict-free uncontrollable subnet. By these assumptions we propose an algorithm to transform a given singular GMEC into a controllable OR-GMEC which precisely characterizes its admissible marking set.
Generalized mutual exclusion constraint, Discrete event systems, Petri nets, Supervisory control
File in questo prodotto:
File Dimensione Formato  
17tac_c_draft.pdf

accesso aperto

Descrizione: Articolo principale
Tipologia: versione post-print
Dimensione 1.97 MB
Formato Adobe PDF
1.97 MB 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: http://hdl.handle.net/11584/178020
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 61
  • ???jsp.display-item.citation.isi??? 61
social impact