The KIPS Transactions:PartA (정보처리학회논문지A)

Korea Information Processing Society (한국정보처리학회)
권호 표지
DOI QR코드

DOI QR Code

The Enhanced Analysis Algorithm for an EMFG's Operation

EMFG의 개선된 동작해석 알고리즘

  • Kim, Hee-Jung (Graduate School of Pukyong National University) ;
  • Yeo, Jeong-Mo (Dept.of Electronics Computer Information Communication Engineering, Pukyong National University) ;
  • Seo, Kyung-Ryong (Dept.of Electronics Computer Information Communication Engineering, Pukyong National University)
  • 김희정 (부경대학교 대학원 전산교육과) ;
  • 여정모 (부경대학교 전자컴퓨터정보통신공학부) ;
  • 서경룡 (부경대학교 전자컴퓨터정보통신공학부)
  • Published : 2002.09.01
Download PDF
⟨ Previous Next ⟩

Abstract

The EMFG (Extended Mark Flow Graph) is known as a graph model for representing the discrete event systems. In this paper, we introduce input/output matrixes representing the marking variance of input/output boxes when each transition fires in an EMFG, and compute an incidence matrix. We represent firing conditions of transitions to a firing condition matrix for computing a firable vector, and introduce the firing completion vector to decide completion of each transition’s firing. By using them, we improve an analysis algorithm of the EMFG’s operation to be represented all the process of EMFG’s operation mathematically. We apply the proposed algorithm to the system repeating the forward and reverse revolution, and then confirm that it is valid. The proposed algorithm is useful to analysis the variant discrete event systems.

EMFG(Extended Mark Flow Graph)는 이산시스템을 표현하는데 유용한 그래프 도구로 알려져 있다. 본 연구에서는 EMFG에서 각 트랜지션이 점화하였을 때의 입출력 박스의 마크 변화량을 입출력 행렬로 표현하였고, 이를 사용하여 EMFG의 접속행렬을 구하였다. 점화가능벡터를 구하기 위하여 각 트랜지션의 점화조건을 점화조건행렬로 표현하였으며, 각 트랜지션의 점화완료 상태를 판단하기 위하여 점화완료벡터를 도입하였다. 이들을 사용하여 EMFG의 모든 동작과정이 수학적으로 해석될 수 있도록 EMFG의 동작해석 알고리즘을 개선하였다. 제안된 알고리즘을 정회전과 역회전을 반복하는 시스템에 적용하여 알고리즘이 올바르게 동작하는 것을 확인하였다. 제안된 알고리즘은 다양한 이산 시스템을 분석하는데 유용하다.

Keywords

References

  1. Tadao, Murata, 'Petri Nets : Properties, Analysis and Applications,' IEEE, Vol.77, No.4, pp.541-580, 1989 https://doi.org/10.1109/5.24143
  2. C. S. Hwang and J. M. Lee, 'Analysis of Matrix Equation Based on Petri Net for Discrete System Control,' Proceedings of the 29th SICE Annual Conference International Session, pp.639-696, July, 1990
  3. Said Laftit, Jean-Parie Proth, 'Optimization of Invariant Criteria for Event Graphs,' IEEE Trans on Automatic Control, Vol.37, No.5, pp.547-555, May, 1992 https://doi.org/10.1109/9.135488
  4. Rene David and Hassane Alla, 'Petri Nets for Modeling of Dynamic Systems a Servery,' Automatica, Vol.30, No.2, pp.175-202, 1994 https://doi.org/10.1016/0005-1098(94)90024-8
  5. M. C. Zhou, 'Petri nets in flexible and agile automation,' Kluwer Academic Publishers, 1995
  6. Herbert L. Petri, 'Motivation : Theory, Research, & Applications,' Brooks/Cole Pub Co., December, 1996
  7. Richard Johnsonbaugh, 'Discrete Mathematics,' Prentice Hall, July, 2000
  8. Tommy, W. S. Chow, Jin-Yan Li, 'Highter-order Petri net models based on artificial neural networks,' Artificial Intellignece 92, pp.289-300, 1997
  9. Li-Chih Wang, Shao-Ying Wu, 'Modeling With Colored Timed Object-Oriented Petri Nets for Automated Manufaturing Systems,' Computers ind. Engng, Vol.34, No.2, pp.463-480, 1998 https://doi.org/10.1016/S0360-8352(97)00145-9
  10. Wen-Tsung Chang, Chien-Chao Tseng, Wen-Kuang Chou, 'Petri net-based analysisn on object assignment in distributed object-oriented systems,' Journal of Systems Architecture, Vol.44, pp.955-970, 1998 https://doi.org/10.1016/S1383-7621(97)00049-0
  11. Nasreddine Aoumeur, Gunter Saake, 'A component-based Petri net model for speciflying and validating cooperative information systems,' Data & Knowledge Engineering 42, pp.143-187, 2002 https://doi.org/10.1016/S0169-023X(02)00025-3
  12. 여정모, '마크흐름선도의 확장', 부산대학교 대학원 석사학위논문, Feb., 1982
  13. 여정모, 황창선, '확장된 마크흐름선도와 시퀀셜 제어 시스템에의 응용,' 부산대학교 공과대학 연구보고, Vol.25, pp.209-219, June, 1983
  14. 이재만, 'Extended Safe Petri Net에 의한 비연속 시스템의 모델링 및 제어에 관한 연구', 부산대학교 대학원 석사학위 논문, Feb., 1992
  15. 이재만, '확장된 세이프 페트리 네트를 이용한 이산시스템의 해석과 설계에 관한 연구', 부산대학교 대학원 석사학위 논문, Feb., 1995
  16. 여정모, 'EMFG 회로의 간략화에 관한 연구', 부산개방대학 연구보고, Vol.29, pp.741-760, Dec., 1987
  17. 여정모, '이산 시스템의 설계와 해석을 위한 확장된 마크흐름 선도의 재정의와 회로변환,' 멀티미디어학회논문지, Vol.1, No.2, pp.224-238, Dec., 1998
  18. 여정모, 하재목, '확장된 마크흐름선도의 재구성과 회로변환', 한국 멀티미디어학회 1998년도 춘계학술발표논문집, pp.423-431, June, 1998
  19. 여정모, '이산제어시스템 설계를 위한 확장된 마크흐름선도의 동작해석,' 정보처리논문지, Vol.5, No.7, pp.1896-1907, July, 1998
  20. 여정모, '확장된 마크흐름선도의 성질 및 간소화 알고리즘,' 부경대학교 논문집, Vol.5, No.2, pp.17-28, Dec., 1998
  21. 김희정, 허후숙, 정안나, 여정모, '접속 행렬을 이용한 EMFG의 수학적 해석', 멀티미디어공학회, 2001년 추계학술발표논문집
  22. 백형구, 허후숙, 정명희, 여정모, '조건아크를 이용한 릴레이 회로의 EMFG 변환', 멀티미디어공학회, 2001년 추계학술발표 논문집, pp.821-826, Nov., 2001
  23. 백형구, '릴레이 회로의 개선된 EMFG변환', 부경대학교 대학원 석사학위논문, Jen., 2002
  24. 백형구, 김희정, 여정모, '릴레이 회로의 EMFG표현에 관한 연구,' 부경대학교논문집, Vol.6, pp.335-345, Dec., 2001