Selective Siphon Control for Deadlock Prevention in Petri Nets

Deadlock prevention is a crucial step in the modeling of flexible manufacturing systems. In the Petri net framework, deadlock prevention policies based on siphon control are often employed, since it is easy to specify generalized mutual exclusion constraints that avoid the emptying of siphons. Howev...

Full description

Saved in:
Bibliographic Details
Published inIEEE transactions on systems, man and cybernetics. Part A, Systems and humans Vol. 38; no. 6; pp. 1337 - 1348
Main Authors Luigi Piroddi, Cordone, R., Fumagalli, I.
Format Journal Article
LanguageEnglish
Published IEEE 01.11.2008
Subjects
Automata
Batch production systems
Communication system control
Control systems
Deadlock prevention
Flexible manufacturing systems
Iterative methods
Petri nets
Resource management
siphons
Size control
System recovery
Online AccessGet full text

Cover

More Information
Summary:Deadlock prevention is a crucial step in the modeling of flexible manufacturing systems. In the Petri net framework, deadlock prevention 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 impractical oversized control subnets. This is often a consequence of the redundancy in the control conditions derived from siphons. In this paper, a novel method is proposed that provides small size controllers, based on a set covering approach that conveniently relates siphons and markings. Some examples are provided to demonstrate the feasibility of the approach and to compare it with other methods proposed in the literature.
ISSN:1083-4427
1558-2426
DOI:10.1109/TSMCA.2008.2003535