본문 바로가기
HOME> 논문 > 논문 검색상세

논문 상세정보

정보처리학회논문지. The KIPS transactions. Part A. Part A v.9A no.3, 2002년, pp.371 - 378   피인용횟수: 6

EMFG의 개선된 동작해석 알고리즘
The Enhanced Analysis Algorithm for an EMFG's Operation

김희정   (부경대학교 대학원 전산교육과UU0000598  ); 여정모   (부경대학교 전자컴퓨터정보통신공학부UU0000598  ); 서경룡   (부경대학교 전자컴퓨터정보통신공학부UU0000598  );
  • 초록

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


    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.


  • 주제어

    패트리 넷 .   마크흐름선도 .   입력행렬 .   출력행렬 .   접속행렬 .   점화조건행렬 .   점화가능행렬 .   점화완료벡터.  

  • 참고문헌 (24)

    1. 백형구, 허후숙, 정명희, 여정모, '조건아크를 이용한 릴레이 회로의 EMFG 변환', 멀티미디어공학회, 2001년 추계학술발표 논문집, pp.821-826, Nov., 2001     
    2. 백형구, '릴레이 회로의 개선된 EMFG변환', 부경대학교 대학원 석사학위논문, Jen., 2002 
    3. 백형구, 김희정, 여정모, '릴레이 회로의 EMFG표현에 관한 연구,' 부경대학교논문집, Vol.6, pp.335-345, Dec., 2001 
    4. 여정모, '이산 시스템의 설계와 해석을 위한 확장된 마크흐름 선도의 재정의와 회로변환,' 멀티미디어학회논문지, Vol.1, No.2, pp.224-238, Dec., 1998 
    5. 여정모, 하재목, '확장된 마크흐름선도의 재구성과 회로변환', 한국 멀티미디어학회 1998년도 춘계학술발표논문집, pp.423-431, June, 1998     
    6. 여정모, '이산제어시스템 설계를 위한 확장된 마크흐름선도의 동작해석,' 정보처리논문지, Vol.5, No.7, pp.1896-1907, July, 1998     
    7. 여정모, '확장된 마크흐름선도의 성질 및 간소화 알고리즘,' 부경대학교 논문집, Vol.5, No.2, pp.17-28, Dec., 1998 
    8. 김희정, 허후숙, 정안나, 여정모, '접속 행렬을 이용한 EMFG의 수학적 해석', 멀티미디어공학회, 2001년 추계학술발표논문집     
    9. 여정모, '마크흐름선도의 확장', 부산대학교 대학원 석사학위논문, Feb., 1982 
    10. 여정모, 황창선, '확장된 마크흐름선도와 시퀀셜 제어 시스템에의 응용,' 부산대학교 공과대학 연구보고, Vol.25, pp.209-219, June, 1983 
    11. 이재만, 'Extended Safe Petri Net에 의한 비연속 시스템의 모델링 및 제어에 관한 연구', 부산대학교 대학원 석사학위 논문, Feb., 1992 
    12. 이재만, '확장된 세이프 페트리 네트를 이용한 이산시스템의 해석과 설계에 관한 연구', 부산대학교 대학원 석사학위 논문, Feb., 1995 
    13. 여정모, 'EMFG 회로의 간략화에 관한 연구', 부산개방대학 연구보고, Vol.29, pp.741-760, Dec., 1987 
    14. Tommy, W. S. Chow, Jin-Yan Li, 'Highter-order Petri net models based on artificial neural networks,' Artificial Intellignece 92, pp.289-300, 1997 
    15. 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 
    16. 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 
    17. 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 
    18. 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 
    19. Rene David and Hassane Alla, 'Petri Nets for Modeling of Dynamic Systems a Servery,' Automatica, Vol.30, No.2, pp.175-202, 1994 
    20. M. C. Zhou, 'Petri nets in flexible and agile automation,' Kluwer Academic Publishers, 1995 
    21. Herbert L. Petri, 'Motivation : Theory, Research, & Applications,' Brooks/Cole Pub Co., December, 1996 
    22. Richard Johnsonbaugh, 'Discrete Mathematics,' Prentice Hall, July, 2000 
    23. Tadao, Murata, 'Petri Nets : Properties, Analysis and Applications,' IEEE, Vol.77, No.4, pp.541-580, 1989 
    24. 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 
  • 이 논문을 인용한 문헌 (6)

    1. Kim, Hee-Jung ; Yeo, Jeong-Mo ; Seo, Kyung-Ryong 2002. "The Enhanced Analysis Algorithm for an EMFG's Operation" 정보처리학회논문지. The KIPS transactions. Part A. Part A, a9(3): 371~378     
    2. Kim, Hee-Jung ; Yeo, Jeong-Mo ; Seo, Kyung-Ryong 2002. "The Enhanced Analysis Algorithm for an EMFG's Operation" 정보처리학회논문지. The KIPS transactions. Part A. Part A, a9(3): 371~378     
    3. Kim, Hee-Jung ; Yeo, Jeong-Mo ; Seo, Kyung-Ryong 2002. "The Enhanced Analysis Algorithm for an EMFG's Operation" 정보처리학회논문지. The KIPS transactions. Part A. Part A, a9(3): 371~378     
    4. Heo, Hu-Sook ; Yeo, Jeong-Mo 2003. "The EMFG Modeling and Analysis for a Workflow" 정보처리학회논문지. The KIPS transactions. Part D. Part D, d10(7): 1189~1196     
    5. Yeo Jeong Mo ; An Jeong Suk 2005. "The Simplification of Web Sites Representation with the EMFG" 정보처리학회논문지. The KIPS transactions. Part D. Part D, d12(2): 327~334     
    6. Yeo Jeong-Mo ; Lee Mi-Soon 2006. "The Performance-ability Evaluation of an UML Activity Diagram with the EMFG" 정보처리학회논문지. The KIPS transactions. Part D. Part D, d13(1): 117~124     

 저자의 다른 논문

 활용도 분석

  • 상세보기

    amChart 영역
  • 원문보기

    amChart 영역

원문보기

무료다운로드
  • NDSL :
유료다운로드

유료 다운로드의 경우 해당 사이트의 정책에 따라 신규 회원가입, 로그인, 유료 구매 등이 필요할 수 있습니다. 해당 사이트에서 발생하는 귀하의 모든 정보활동은 NDSL의 서비스 정책과 무관합니다.

원문복사신청을 하시면, 일부 해외 인쇄학술지의 경우 외국학술지지원센터(FRIC)에서
무료 원문복사 서비스를 제공합니다.

NDSL에서는 해당 원문을 복사서비스하고 있습니다. 위의 원문복사신청 또는 장바구니 담기를 통하여 원문복사서비스 이용이 가능합니다.

이 논문과 함께 이용한 콘텐츠
이 논문과 함께 출판된 논문 + 더보기