Browse > Article
http://dx.doi.org/10.3745/KIPSTA.2002.9A.3.371

The Enhanced Analysis Algorithm for an EMFG's Operation  

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