This work studies the equivalent transformation from a legal marking set to its admissible marking set. First, the concepts of escaping-marking set and transforming marking set are defined, and two algorithms are provided to compute the transforming marking set and the admissible marking set. Second, the equivalent transformation of a disjunction of linear constraints expressed in terms of generalized mutual exclusion constraints (GMECs) with non-negative weights via uncontrollable transitions is established.

Characterization of Admissible Marking Sets in Petri Nets with Uncontrollable Transitions

SEATZU, CARLA
2016

Abstract

This work studies the equivalent transformation from a legal marking set to its admissible marking set. First, the concepts of escaping-marking set and transforming marking set are defined, and two algorithms are provided to compute the transforming marking set and the admissible marking set. Second, the equivalent transformation of a disjunction of linear constraints expressed in terms of generalized mutual exclusion constraints (GMECs) with non-negative weights via uncontrollable transitions is established.
Discrete event systems; Petri nets; Supervisory control
File in questo prodotto:
File Dimensione Formato  
Characterization of Admissible Marking Sets.pdf

accesso aperto

Descrizione: articolo
Tipologia: versione post-print
Dimensione 615.81 kB
Formato Adobe PDF
615.81 kB Adobe PDF Visualizza/Apri
Characterization_of_Admissible_Marking_Sets_in_Petri_Nets_with_Uncontrollable_Transitions.pdf

Solo gestori archivio

Descrizione: Articolo completo
Tipologia: versione editoriale
Dimensione 407.52 kB
Formato Adobe PDF
407.52 kB Adobe PDF   Visualizza/Apri   Richiedi una copia

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/199290
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 31
  • ???jsp.display-item.citation.isi??? 30
social impact