The Mathematical Analysis of an Extended Mark Flow Graph for Design of the Discrete-event Control System

이산시스템 설계를 위한 확장된 마크흐름선도의 수학적 해석

The EMFG(Extended Mark Flow Graph) is not only a powerful tool to. designing the discrete-event system conceptually or specifically but also a good representation tool for implementing the system directly. We present a transitions-firing process and automatic changes of the number of marks in each box as a firing determination algorithm with the incident matrix and the state transition equation. The convenient analysis and design of a system as well as Computer Aided Design is possible because the operations of an EMFG ran be represented in the mathematical analysis with ease.

확장된 마크흐름선도(EMFG: Extended Mark Flow Graph)는 이산 시스템을 개념적으로 또는 상세하게 설계할 수 있는 강력한 도구일 뿐만 아니라 시스템을 직접적으로 구현하기 위한 적당한 표현이다. 본 논문은 EMFG의 트랜지션들이 점화하는 과정 및 트랜지션이 점화 완료하였을 때의 각 박스들의 마크 수 변화를 접속 행렬 및 상태천이 방정식을 이용한 점화 결정 알고리즘으로 표현하고자 한다. EMFG의 동작이 수학적으로 해석 가능해짐으로 인해 시스템의 분석 및 설계가 용이하며 컴퓨터를 이용한 자동화 시스템의 분석과 설계가 가능하다.