Proceedings of the Korea Multimedia Society Conference (한국멀티미디어학회:학술대회논문집)
- 2001.11a
- /
- Pages.815-820
- /
- 2001
The Mathematical Analysis of an Extended Mark Flow Graph By Using Insidence Matrix
접속행렬을 이용한 EMFG의 수학적 해석
Abstract
확장된 마크흐름선도(EMFG: Extended Mark Flow Graph)는 이산 시스템을 설계할 수 있는 강력한 도구일 뿐만 아니라 시스템을 직접적으로 구현하기 위한 적당한 표현이다. 본 논문에서는 EMFG의 동작 해석 알고리즘을 개선하여 시간 트랜지션이 존재하는 EMFG의 동작을 분석하고자 한다. 이를 통해 시스템의 분석 및 설계가 용이하며 컴퓨터를 이용한 자동화 시스템의 분석과 설계가 가능하다.
Keywords