In Petri nets modeling and control of flexible manufacturing systems, the occurrence of deadlock states must be avoided with suitable design techniques. Many of these are based on siphon control, i.e. they implement generalized mutual exclusion constraints that avoid the emptying of siphons. If all minimal siphons are controlled, an excessive computational load may be required to complete the control sub-net and the latter may turn out to be over-sized. A classification of minimal siphons that selects a minimal number of siphons for the control design is proposed in this work. The classification can be exploited to obtain minimum size maximally permissive controllers. Some examples are provided to demonstrate the feasibility of the approach.
Siphon classification for deadlock prevention in Petri nets / I. Fumagalli, L. Piroddi, R. Cordone - In: ECC'07 : European control conference 2007 : final program and book of abstracts : Kos international convention center, july 2-5, 2007, Kos, Greece / [a cura di] S.G. Tzafestas. - [S. l.] : [European union control association], 2007. (( convegno European Control Conference (ECC) tenutosi a Kos, Greece nel 2007.
Siphon classification for deadlock prevention in Petri nets
R. CordoneUltimo
2007
Abstract
In Petri nets modeling and control of flexible manufacturing systems, the occurrence of deadlock states must be avoided with suitable design techniques. Many of these are based on siphon control, i.e. they implement generalized mutual exclusion constraints that avoid the emptying of siphons. If all minimal siphons are controlled, an excessive computational load may be required to complete the control sub-net and the latter may turn out to be over-sized. A classification of minimal siphons that selects a minimal number of siphons for the control design is proposed in this work. The classification can be exploited to obtain minimum size maximally permissive controllers. Some examples are provided to demonstrate the feasibility of the approach.Pubblicazioni consigliate
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.