$\require{mediawiki-texvc}$
  • 검색어에 아래의 연산자를 사용하시면 더 정확한 검색결과를 얻을 수 있습니다.
  • 검색연산자
검색연산자 기능 검색시 예
() 우선순위가 가장 높은 연산자 예1) (나노 (기계 | machine))
공백 두 개의 검색어(식)을 모두 포함하고 있는 문서 검색 예1) (나노 기계)
예2) 나노 장영실
| 두 개의 검색어(식) 중 하나 이상 포함하고 있는 문서 검색 예1) (줄기세포 | 면역)
예2) 줄기세포 | 장영실
! NOT 이후에 있는 검색어가 포함된 문서는 제외 예1) (황금 !백금)
예2) !image
* 검색어의 *란에 0개 이상의 임의의 문자가 포함된 문서 검색 예) semi*
"" 따옴표 내의 구문과 완전히 일치하는 문서만 검색 예) "Transform and Quantization"
쳇봇 이모티콘
안녕하세요!
ScienceON 챗봇입니다.
궁금한 것은 저에게 물어봐주세요.

논문 상세정보

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

The Enhanced Analysis Algorithm for an EMFG's Operation

초록

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

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.

참고문헌 (24)

  1. Tadao, Murata, 'Petri Nets : Properties, Analysis and Applications,' IEEE, Vol.77, No.4, pp.541-580, 1989 
  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 
  4. Rene David and Hassane Alla, 'Petri Nets for Modeling of Dynamic Systems a Servery,' Automatica, Vol.30, No.2, pp.175-202, 1994 
  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 
  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 
  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 
  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 

이 논문을 인용한 문헌 (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 

원문보기

원문 PDF 다운로드

  • ScienceON :

원문 URL 링크

원문 PDF 파일 및 링크정보가 존재하지 않을 경우 KISTI DDS 시스템에서 제공하는 원문복사서비스를 사용할 수 있습니다. 원문복사서비스 안내 바로 가기

상세조회 0건 원문조회 0건

DOI 인용 스타일