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.
Some results on the computation of minimal siphons in Petri nets / R. Cordone, L. Ferrarini, L. Piroddi - In: 42. IEEE conference on decision and control, 2003 : proceedings / [s.n.]. - [s.l] : IEEE (Institute of Electrical and Electronics Engineers), 2003 Dec. - ISBN 0780379241. - pp. 3754-3759 (( Intervento presentato al 42. convegno IEEE Conference on Decision and Control (CDC'2003) tenutosi a Lahaina, Hawaii nel 2003.
Some results on the computation of minimal siphons in Petri nets
R. CordonePrimo
;
2003
Abstract
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.Pubblicazioni consigliate
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.