Browse > Article
http://dx.doi.org/10.5302/J.ICROS.2007.13.7.677

Deadlock Analysis and Control of FMS's Using Siphon property  

Kim, Jung-Chul (전북대학교 메카트로닉스공학과)
Kim, Jin-Kwon (원광대학교 제어계측공학과)
Hwang, Hyung-Soo (원광대학교 정보디지털시스템)
Publication Information
Journal of Institute of Control, Robotics and Systems / v.13, no.7, 2007 , pp. 677-682 More about this Journal
Abstract
Concurrent competition for finite resources by multiple parts in flexible manufacturing systems(FMS's) and inappropriate initial marking or net structure of Petri net with share resources results in deadlock. This is an important issue to be addressed in the operation of the systems. Deadlock is a system state so that some working processes can never be finished. Deadlock situation is due to a wrong resource allocation policy. In fact, behind a deadlock problem there is a circular wait situation for a set of resources. Deadlock can disable an entire system and make automated operation impossible. Particularly, an unmanned system cannot recover from such a status and a set of jobs waits indefinitely for never-to-be-released resources. In this paper, we proposed a deadlock prevention method using siphon and trap of Petri net. It is based on potential deadlock which are siphon that eventually became empty. This method prevents the deadlock by the control of transition fire and initial marking in the Petri net. An given example of FMS is shown to illustrate our results with deadlock-free.
Keywords
petri net; FMS; siphon; trap;
Citations & Related Records
연도 인용수 순위
  • Reference
1 T. Murata, 'Petri nets: Properties, analysis and applications,' In Proceedings of IEEE, 1989, vol. 77, pp. 541-580
2 J.-M. Proth and X. Xie, Petri nets: A Tool for Design and Management of Manufacturing Systems, Chichester. New York, 1996
3 G. W. Brams, Reseaux de Petri, Theorie et Pratique, Masson, France, 1983
4 N. Wu, 'Necessary and sufficient condition for deadlockfree operation in flexible manufacturing systems using a colored petri net model,' IEEE Trans. on SMC-PART C : Applications and reviews. vol. 29. no. 2, May 1999
5 N. Viswanadham, Y, Harahari, and T. L. Johnson, 'Deadlock prevention and deadlock avoidance in flexible manufacturing systems using Petri net models,' IEEE Trans. Robot. Automat., vol. 6, pp. 713-723, 1990   DOI   ScienceOn
6 Feng chu and Xiao-Lan Xie, 'Deadlock analysis of petri nets using siphon and mathematical programming,' IEEE Transactions on Robotics and Automation, vol. 13, no. 6, pp. 793-804, December 1997   DOI   ScienceOn
7 남부희, '페트리 네트(Petri nets),' 전기학회지 제 43 권 제 3 호, 1994
8 J. L. Peterson, Petri Net Theory and the Modeling of Systems, Prentice-Hall, Inc,. 1981
9 J. Ezpeleta, J. M. Colom, and J. Marthinez, 'A petri net based deadlock prevention policy for flexible manufacturing systems,' IEEE Trans. Robot. Automat, vol. 11, pp. 173-184, 1995   DOI   ScienceOn
10 J. Wang, Timed Petri Nets: Theory and Application, Kluwer Academic Publishers, 1998
11 Z. A. Banaszak and B. H. Krogh, 'Deadlock avoidance in flexible manufacturing systems with concurrently competing process flows,' IEEE Trans. Robot. Automat., vol. 6, pp. 724-734, 1990   DOI   ScienceOn