The Journal of the Institute of Internet, Broadcasting and Communication (한국인터넷방송통신학회논문지)

The Institute of Internet, Broadcasting and Communication (한국인터넷방송통신학회)
권호 표지
DOI QR코드

DOI QR Code

Research for Modeling Method of DES Using Petri Nets

패트리 넷을 이용한 DES 모델링에 관한 연구

  • 이은주 (우송대학교 컴퓨터정보학과) ;
  • 김삼택 (우송대학교 컴퓨터정보학과)
  • Received : 2011.07.19
  • Accepted : 2011.10.14
  • Published : 2011.10.31
Download PDF
⟨ Previous Next ⟩

Abstract

In this paper, our goal is to design the controller which operates a manufacturing system, discrete event system, guaranteeing user specification. In specially, based on supervisory control theory W. M. Wonham, our work consists in performing the controller using Petri nets possible parallelism. In addition, we consider the problem of allocation for resources sharing of the issues to consider when designing using Petri net. The controller can be generated by synthesis of user specification model and plant model after giving the management for the resource sharing. This created controller can control the deadlock and starvation which can occur in the case with resource sharing. Previous studies proposed the Constrained Synchronous Reachability graph to synthesis of the two Petri nets models. Therefore, we provide the controlled system which forbids a deadlock and starvation using the result of previous studies.

본 연구는 이산사건 시스템인 제조 시스템에 대하여 사용자 명세서에 따라 충실하게 동작하는 제어기를 설계하는 것이 목적이다. 특히, W. M. Wonham의 감독제어 이론을 기반으로 병렬처리가 가능한 패트리 넷을 이용한 제어기를 설계하는 것이다. 또한, 패트리 넷을 이용한 설계 시 고려해야 할 문제 중 공유하는 자원의 할당에 관한 문제를 다루고자 한다. 공유자원에 대한 처리를 사용자 명세서로 제시하고 제시한 패트리 넷으로 모델링하여 합성하면 제어기가 생성된다. 이렇게 생성된 제어기는 공유하는 자원이 있는 경우에 발생가능 한 교착상태(deadlock)와 기아상태(Starvation)에 대한 제어가 가능하다. 선행연구에서는 페트리 넷의 두 모델을 합성하는 방법으로 동기식 도달성 그래프를 제안하였다. 따라서 본 연구에서는 그 결과를 이용하여 교착상태와 기아상태를 예방한 제어된 시스템을 설계하여 제시하고자 한다.

Keywords

References

  1. P. J. RAMADGE and W. M. WONHAM, "Supervisory control of a class of Discrete Event Processes", SIAM J. Control and Optimization ,vol. 25, No. 1, January 1987.
  2. W. M. WONHAM, "Notes on Control of Discrete-Event Systems: ECE 1636F/1637S", 2009-2010.
  3. G. Alpan and M. A. Jafari, "Synthesis of a Closed-Loop Combined Plant and Controller Model," IEEE Transactions on SystemsMan, and Cybernetics, Part B, 2002.
  4. K. YAMALIDOU, J. MOODY, M. LEMMON & P. ANTSAKLIS, "Feedback control of petri nets based on place invariants", Automatics, vol.32, No.1, pp.15-28, 1996. https://doi.org/10.1016/0005-1098(95)00103-4
  5. E. J. Lee, A. Toguyeni and N. Dangoumau, "A Petri Net based Decentralized Synthesis Approach for the Control of Flexible Manufacturing Systems," CESA 2006 world congress: The International Association for Mathematics and Computers in Simulations, pp. 1497-1503, Beijing, China, 4-6 October 2006.
  6. 송유진, 이종근, "행렬을 이용한 FMS에서의 교착 상태 탐지 및 회피 알고리즘에 대한 연구", 제어.로봇.시스템학회 논문지, pp. 344-352, 11권 4호, 2005.4.
  7. B. TROUILLET, "Sur l'evaluation du comportement logique des systemes de production manufacturiere par methodes exactes," these de doctorat, Universite de Lille 1, 2003.
  8. T. Murata, "Petri Nets: Properties, Analysis and Applications," Proc. of the IEEE, vol. 77, no. 4, Apr. 1989.
  9. http://pipe2.sourceforge.net/