A Redefinition and Circuit Translation of the Extended Mark Flow Graph for the Design and Analysis of the Discrete-event System

이산 시스템의 설계와 해석을 위한 확장된 마크흐름선도의 재정의와 회로변환

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.

확장된 마크흐름선도(EMFG: Extended Mark Flow Graph)는 이산 시스템을 개념적으로 또는 상세하게 설계할 수 있는 강력한 도구 일 뿐만 아니라 시스템을 직접적으로 구현하기 위한 적당한 표현이다. 그러나 EMFG의 다소 복잡한 표현으로 인해 수학적인 해석이 불가능하여 시스템의 설계나 해석에 어려움이 있다. 따라서 본 연구에서는 수학적인 해석이 가능하도록 EMFG의 표현을 재정의하였고, 표현 불가능한 부분이 가능하도록 트랜지션에 출력 역 아크를 도입하였다. 또한 EMFG의 회로변환에서 잘못 변환되는 부분들을 해결하였으며, 수식을 사용한 회로변환 방법을 제안하였다. 마지막으로 기존의 EMFG와 재정의된 EMFG를 비교하였고, 재정의된 EMFG로써 0101 감지기 회로를 설계하고 대응하는 회로로 변환하였다.