Deadlock prevention policy based on Petri nets and siphons

International Journal of Production Research

Volumn 39, Issue 2, 2001, Pages 283-305

  Huang, Yisheng ^a   Jeng, Muder ^a   Xie, Xiaolan ^a   Chung, Shengluen ^a  

^a NATIONAL TAIWAN OCEAN UNIVERSITY   (Taiwan)

Author keywords

[No Author keywords available]

Indexed keywords

ALGORITHMS; COMPUTER AIDED MANUFACTURING; COMPUTER SYSTEM RECOVERY; CONCURRENT ENGINEERING; INTEGER PROGRAMMING; ITERATIVE METHODS; MATHEMATICAL MODELS; PETRI NETS; RESOURCE ALLOCATION;

AUGMENTED SIPHONS CONTROL; DEADLOCK PREVENTION METHOD; MIXED INTEGER PROGRAMMING;

FLEXIBLE MANUFACTURING SYSTEMS;

EID: 0035916065     PISSN: 00207543     EISSN: None     Source Type: Journal    
DOI: 10.1080/00207540010002405     Document Type: Article

References (17)

1. Banaszak, Z. A. and Krogh, B. H., 1990, Deadlock avoidance in flexible manufacturing systems with concurrently competing process flows. IEEE Transactions on Robotics Automation, 6, 724-734.
2. Barkaoui, K. and Abdallah, I. B., 1995a, Deadlock avoidance in FMS based on structural theory of Petri nets. Proceedings of the INRIA/IEEE Symposium on ETFA, 2, 499-510.
3. Barkaoui, K. and Abdallah, I. B., 1995b, A deadlock prevention method for a class of FMS. Proceedings of the IEEE International Conference SMC, pp. 4119-4124.
4. Chu, F. and Xie, X. L., 1997, Deadlock analysis of Petri nets using siphons and mathematical programming. IEEE Transactions on Robotics Automation, 13, 793-804.
5. Ezpeleta, J., Colom, J. M. and Martinez, J., 1995, A Petri net based deadlock prevention policy for flexible manufacturing systems. IEEE Transactions on Robotics Automation, 11, 173-184.
6. Hsieh, F. S. and Chang, S. C., 1994, Dispatching-driven deadlock avoidance controller synthesis for flexible manufacturing systems. IEEE Transactions on Robotics Automation, 10, 196-209.
7. Jeng, M. D., 1997, Petri nets for modelling automated manufacturing systems with error recovery. IEEE Transactions on Robotics Automation, 13, 752-760.
8. Jeng, M. D., Peng, M. Y. and Huang, Y. S., 1999, An algorithm for calculating minimal siphons and traps of Petri nets. International Journal of Intelligent Control and Systems, 3, 263-275.
9. Jeng, M. D. and Xie, X. L., 1999, Analysis of modularly composed nets by siphons. IEEE Transactions on Systems, Man, and Cybernetics--Part A: Systems and Humans, 29, 399-406.
10. Lawley, M. A., 1999, Deadlock avoidance for production systems with flexible routing. IEEE Transactions on Robotics Automation, 15, 3, 497-509.
11. Minoura, T. and Ding, C., 1991, A deadlock prevention method for a sequence controller for manufacturing control. International Journal of Robotics Automation, 6, 149-155.
12. Murata, T., 1989, Petri nets: properties, analysis and application. Proceedings of the IEEE, 44, 541-579.
13. Tadashi, M., Saikusa, K. and Tsuji, K., 1993, The minimal number of live minimal structural traps to make an arbitrary minimal structural deadlock live in general Petri nets. Proceedings of the INRIA/IEEE Symposium on ISCAS, 4, 2217-2720.
14. Viswanadham, N., Narahari, Y. and Johnson, T. L., 1990, Deadlock prevention and deadlock avoidance in flexible manufacturing systems using Petri net models. IEEE Transactions on Robotics Automation, 6, 713-723.
15. Wu, N., 1999, Necessary and sufficient conditions for deadlock-free operation in flexible manufacturing systems using a colored Petri net model. IEEE Transactions on Systems, Man, and Cybernetics--Part C: Applications and Review, 29, 192-204.
16. Xing, K. Y., Hu, B. S. and Chen, H. X., 1996, Deadlock avoidance policy for Petri net modelling of flexible manufacturing systems with shared resources. IEEE Transactions on Automatic Control, 41, 289-295.
17. Zhou, M. C. and DiCesare, F., 1993, Petri Net Synthesis for Discrete Event Control of Manufacturing Systems (Boston: Kluwer).