In the Petri net framework deadlock avoidance policies based on siphon control are often employed, since it is easy to specify generalized mutual exclusion constraints that avoid the emptying of siphons. However, such policies may require an excessive computational load and result in oversized control subnets, due to the redundancy in the control conditions derived from siphons. In this work, a simple approach is proposed that provides minimum size maximally permissive controllers, thanks to a convenient classification of minimal siphons. Some examples are provided to demonstrate the feasibility of the approach.
Non redundant siphon control in ordinary Petri nets / L. Piroddi, R. Cordone, I. Fumagalli - In: Proceedings of the 46. IEEE Conference on decision and control : New Orleans, LA, 12-14 December 2007 / [a cura di] [s.n.]. - Piscataway : Institute of electrical and electronic engineers, 2007. - ISBN 9781424414970. - pp. 1904-1909 (( Intervento presentato al 46. convegno IEEE Conference on Decision and Control (CDC) tenutosi a New Orleans nel 2007 [10.1109/CDC.2007.4434414].
Non redundant siphon control in ordinary Petri nets
R. CordoneSecondo
;
2007
Abstract
In the Petri net framework deadlock avoidance policies based on siphon control are often employed, since it is easy to specify generalized mutual exclusion constraints that avoid the emptying of siphons. However, such policies may require an excessive computational load and result in oversized control subnets, due to the redundancy in the control conditions derived from siphons. In this work, a simple approach is proposed that provides minimum size maximally permissive controllers, thanks to a convenient classification of minimal siphons. 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.
