A Novel Approach for Constraint Transformation in Petri Nets with Uncontrollable Transitions
YOU, DAN;Seatzu, Carla
2018-01-01
Abstract
The main contribution of this correspondence paper consists in a linear algebraic characterization of the admissible marking set relative to a Petri net with uncontrollable transitions, subject to a linear constraint. In more detail, given a linear constraint that limits the number of tokens in one place, an algorithm is proposed to compute an approximation of the admissible marking set in terms of a disjunction of transformed linear constraints. The optimality of the solution is guaranteed provided that certain conditions are satisfied during the intermediate steps of the iterative approach. In all the other cases, the set of markings described by the transformed constraints could be surely contained in the admissible marking set.File | Size | Format | |
---|---|---|---|
A novel approach for constraint transformation.pdf open access
Description: Articolo completo
Type: versione post-print
Size 745.37 kB
Format Adobe PDF
|
745.37 kB | Adobe PDF | View/Open |
A_Novel_Approach_for_Constraint_Transformation_in_Petri_Nets_With_Uncontrollable_Transitions.pdf Solo gestori archivio
Type: versione editoriale
Size 350.03 kB
Format Adobe PDF
|
350.03 kB | Adobe PDF | & nbsp; View / Open Request a copy |
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.