Abstract | ||
---|---|---|
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. |
Year | DOI | Venue |
---|---|---|
2008 | 10.1109/TSMCA.2008.2003535 | Systems, Man and Cybernetics, Part A: Systems and Humans, IEEE Transactions |
Keywords | Field | DocType |
Petri nets,concurrency control,constraint theory,flexible manufacturing systems,set theory,Petri net,deadlock prevention,flexible manufacturing system,generalized mutual exclusion constraint,selective siphon control,set covering approach,small size controller,Deadlock prevention,Petri nets,flexible manufacturing systems,siphons | Mathematical optimization,Petri net,Concurrency control,Computer science,Automaton,Redundancy (engineering),Flexible manufacturing system,Deadlock prevention algorithms,Control system,Mutual exclusion,Distributed computing | Journal |
Volume | Issue | ISSN |
38 | 6 | 1083-4427 |
Citations | PageRank | References |
90 | 2.17 | 26 |
Authors | ||
3 |
Name | Order | Citations | PageRank |
---|---|---|---|
Luigi Piroddi | 1 | 311 | 25.04 |
Cordone, R. | 2 | 132 | 5.08 |
Fumagalli, I. | 3 | 90 | 2.17 |