Characterization of Admissible Marking Sets in Petri Nets with Uncontrollable Transitions
SEATZU, CARLA
2016-01-01
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.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.