The problem addressed in the paper is that of computing minimal siphons in standard Petri nets. In particular, some new theoretical results are stated and proved which aim at reducing the original problem to a set of smaller sub-problems. Based on that, a conceptual algorithm is proposed which efficiently computes a set of siphons containing the minimal siphons of a net. An experimental prototypical version of the proposed search algorithm has been developed and a campaign on a large set of random test instances has been carried out to evaluate the effectiveness and efficiency of the proposed method.
|Titolo:||Some results on the computation of minimal siphons in Petri nets|
|Autori interni:||CORDONE, ROBERTO (Primo)|
|Parole Chiave:||Petri nets; mathematical programming; search problems|
|Settore Scientifico Disciplinare:||Settore INF/01 - Informatica|
|Data di pubblicazione:||dic-2003|
|Digital Object Identifier (DOI):||10.1109/CDC.2003.1271733|
|Tipologia:||Book Part (author)|
|Appare nelle tipologie:||03 - Contributo in volume|
File in questo prodotto:
- PubMed Central loading...