Journal of Institute of Control, Robotics and Systems (제어로봇시스템학회논문지)

Institute of Control, Robotics and Systems (제어로봇시스템학회)
권호 표지
DOI QR코드

DOI QR Code

Deadlock Analysis and Control of FMS's Using Siphon property

Siphon 특성을 이용한 FMS의 Deadlock 해석과 제어

  • 김정철 (전북대학교 메카트로닉스공학과) ;
  • 김진권 (원광대학교 제어계측공학과) ;
  • 황형수 (원광대학교 정보디지털시스템)
  • Published : 2007.07.01
Download PDF
⟨ Previous Next ⟩

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

References

  1. 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
  2. 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 https://doi.org/10.1109/70.370500
  3. 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 https://doi.org/10.1109/70.63273
  4. 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 https://doi.org/10.1109/70.63257
  5. 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 https://doi.org/10.1109/70.650158
  6. 남부희, '페트리 네트(Petri nets),' 전기학회지 제 43 권 제 3 호, 1994
  7. J. L. Peterson, Petri Net Theory and the Modeling of Systems, Prentice-Hall, Inc,. 1981
  8. J. Wang, Timed Petri Nets: Theory and Application, Kluwer Academic Publishers, 1998
  9. J.-M. Proth and X. Xie, Petri nets: A Tool for Design and Management of Manufacturing Systems, Chichester. New York, 1996
  10. G. W. Brams, Reseaux de Petri, Theorie et Pratique, Masson, France, 1983
  11. T. Murata, 'Petri nets: Properties, analysis and applications,' In Proceedings of IEEE, 1989, vol. 77, pp. 541-580