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 | Size | Format | |
---|---|---|---|
Characterization of Admissible Marking Sets.pdf open access
Description: articolo
Type: versione post-print
Size 615.81 kB
Format Adobe PDF
|
615.81 kB | Adobe PDF | View/Open |
Characterization_of_Admissible_Marking_Sets_in_Petri_Nets_with_Uncontrollable_Transitions.pdf Solo gestori archivio
Description: Articolo completo
Type: versione editoriale
Size 407.52 kB
Format Adobe PDF
|
407.52 kB | Adobe PDF | & nbsp; View / Open Request a copy |
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.