• Journal of Korea Multimedia Society
• /
• v.1 no.2
• /
• pp.224-238
• /
• 1998

The EMFG (Extended Mark Flow Graph) is not only a powerful tool for designing the discrete-event system conceptually or specifically but also a good representation tool for implementing the system directly. But it is difficult to design or analyze the system because the impossibility of mathematical analysis results from some complicated representation of the EMFG. In this paper, therefore we redefined EMFG representations to provide the possibility of mathematical analysis, and employed an output inhibit are of a transition, which makes possible the adequate representations for the indescribable parts. We also solved trouble parts in the circuit translations of the EMFG and proposed the circuit translation method by using the mathematical formula. Finally, we compared the conventional EMFG with the redefined EMFG, and we designed a 0101 detecter with the redefined EMFG and translated it to the corresponding circuit.

• Proceedings of the Korea Multimedia Society Conference
• /
• 2001.11a
• /
• pp.821-826
• /
• 2001

설계 단계부터 많은 경험을 필요로 하고, 설계된 회로의 분석이나 검증이 어려운 시퀀스 제어의 릴레이 회로를 EMFG로 변환하는데 있어 릴레이 회로의 특성을 정확하게 반영하기 위해 EMFG에 조건 아크를 도입하였으며 이에 따라 릴레이 회로의 EMFG 변환 규칙을 추가하였다. 또한 타이머 릴레이에 대한 EMFG 변환을 위해 시간 트랜지션을 사용하였다. 교통 신호등시스템을 이용한 응용 예를 통해 릴레이 회로를 EMFG로 변환하므로써 설계된 회로의 분석 및 해석이 용이해지고 설계오류에 대한 검증에 상당한 효과가 있음을 보인다.

• Proceedings of the Korea Multimedia Society Conference
• /
• 2002.05d
• /
• pp.565-569
• /
• 2002

본 논문에서는 방향그래프의 특정한 두 정점 사이의 최단 시간 및 최단 경로를 구하는 과정을 EMFG를 이용하여 수학적으로 해석하였다. 특정한 두 정점 사이의 최단 시간 및 최단 경로를 구하기 위해 방향그래프를 EMFG로 변환하는 방법과 접속행렬을 이용한 EMFG의 수학적 해석[10]을 적용한 최단 경로 알고리듬을 제안한다. 제안된 알고리듬을 시스템에 적용하여 알고리듬이 올바르게 동작하는 것을 확인하였으며, 방향그래프를 EMFG로 변환하여 해석하면 최단 시간 및 최단 경로를 파악하는 시스템의 분석 및 설계가 용이하여 시스템의 성능향상에 도움이 될 것으로 기대된다.

• Proceedings of the Korea Multimedia Society Conference
• /
• 2002.05c
• /
• pp.33-37
• /
• 2002

기존 EMFG의 동작해석 알고리즘에서 마크벡터는 정확한 시간 간격이 아닌 각 스텝의 변화를 나타내는 것이었다. 그래서 시간 트랜지션이 있는 EMFG의 경우에는 정해진 지연시간 이외의 필요 없는 시간이 발생하였다. 본 연구에서는 이를 개선하여 초기완료비벡터를 적용하였고, 시간 트랜지션을 가진 EMFG에 대하여 시간의 흐름에 따른 점화가능벡터와 예상완료비를 산출하고, 현완료비에 따라 달라지는 경과완료비를 수학적으로 판단할 수 있도록 개선된 알고리즘을 제안하였다. 제안된 알고리즘을 무인 운전 시스템에 적용하여 시간 흐름에 따른 마크벡터의 변화를 입증하였다. 설계된 EMFG를 개선된 알고리즘에 따라 해석하게 되면, 시스템의 분석 및 설계가 용이하여, 시스템의 성능향상에 도움을 줄 것으로 기대된다.

• The KIPS Transactions:PartA
• /
• v.9A no.3
• /
• pp.371-378
• /
• 2002

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.

• The KIPS Transactions:PartD
• /
• v.10D no.7
• /
• pp.1189-1196
• /
• 2003

Owing to the developed If industry, many people are more and more interested in Workflow which is an automated business processing system. In this paper, we present basic structures and various parallel processing structures of a workflow using EMFG (Extended Mark Flow Graph) that makes conceptional design available. And then, We design a workflow with EMFG. We propose the commitability verification method to check whether a workflow can complete or not and the logical bug verification method to find whether invalid components exist or not by using simulation result of it. The proposed EMFG modeling and analysis method for a workflow make it possible to become a visual and formal design. Also, it makes intuitional and mathematical analysis possible.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2003.05b
• /
• pp.815-818
• /
• 2003

EMFG는 동시성과 병렬성의 표현이 뛰어난 그래프 이론으로서 마크의 변화를 통해 모델링된 시스템의 동작을 확인할 수 있으나, 박스의 마크 변화를 시각적으로 관측하기가 어렵다. 따라서 본 연구에서는 EMFG 구성을 관리하게 하고, 마크 변화를 시각적으로 쉽게 관측할 수 있을 뿐 아니라 EMFG의 동작도 시뮬레이션 할 수 있는 EMFG 시뮬레이터를 설계하고 구현한다. 그리고 EMFG 시뮬레이터와 기존의 Petri Net 시뮬레이터를 비교한다.

• Proceedings of the Korea Multimedia Society Conference
• /
• 2004.05a
• /
• pp.529-532
• /
• 2004

인터넷 보급이 확산되고, 인터넷의 생활화가 가속화되면서 사용자들의 요구를 만족시키기 위해 웹사이트는 점점 더 복잡해지고 있다. 이런 복잡한 구조의 웹사이트를 료현하는 방법으로 EMFG를 이용한 웹사이트의 표현이 연구되어지고 있다. 본 논문에서는 EMFG(Extended Mark 딘ow Graph)를 이용한 웹사이트의 표현에서 나타날 수 있는 반복적인 구조를 간략화하여 웰페이지의 흐름을 직관적으로 파악할 수 있는 방법을 제시한다.

• Proceedings of the Korean Institute of Information and Commucation Sciences Conference
• /
• 1999.05a
• /
• pp.179-184
• /
• 1999

A Timing Diagram is almost used to represent the various signals such as an address bus, a data bus, and the control signals during design and analysis of a digital system. But if so, its representation is somewhat complicated and also it is difficult to analyze the operation of the system. In this paper, we proposed the representation method of timing diagrams with the EMFG(Extended Mark Flow Graph). In the EMFG representation of the system operation, the logical states due to the various signals of the system is graphically represented. Therefore the proposal method allows that it is easy to design as well as analyze the system. As examples applied, we represented the memory read cycle of $\mu$PD70320 CPU and the read cycle of MCM60256A memory with the EMFG.

• The Transactions of the Korea Information Processing Society
• /
• v.5 no.7
• /
• pp.1896-1907
• /
• 1998

확장된 마크흐름선도(EMFG: Extednded Mark Flow Graph)는 기존의 MFG를 개선한 그래프로서, 회로변수식에 의해 실제회로로 쉽게 구현가능하므로 이산제어시스템의 모델링과 설계 및 구현의 강력한 도구로 사용될 수 있다. 본 논문은 EMFG의 트랜지션들이 점화하는 과정 및 트랜지션들이 점화완료하였을 때 각 박스들의 마크수 변화를 부울함수식과 벡터를 사용하여 표현하였다. 또한 시스템의 상태변화를 쉽게 판단할 수 있게 하는 EMFG의 동작알고리듬을 제안하였으며, 제안된 알고리듬은 3-비트 증가계수기를 설계한 EMFG와 시간트랜지션이 포함된 가상의 EMFG에서 잘 수행되었다. EMFG의 동작이 부울함수로 해석가능해짐으로 인해 시스템의 분석 및 설계가 용이하며 컴퓨터를 이용한 자동화된 시스템의 분석과 설계가 가능하다.