Proceedings of the Korea Information Processing Society Conference (한국정보처리학회:학술대회논문집)
- 2003.05b
- /
- Pages.811-814
- /
- 2003
- /
- 2005-0011(pISSN)
- /
- 2671-7298(eISSN)
A Study on the Trace Tree of an EMFG
EMFG의 추적트리에 관한 연구
- Kim, Jung-Soo (Dept. of Computer Science, PuKyong National University) ;
- Lee, Tai-Hoon (Dept. of Computer Science, PuKyong National University) ;
- Yeo, Jeong-Mo (Division of Electronics, Computer and Telecommunication Engineering, PuKyong National University)
- Published : 2003.05.16
Abstract
이산 시스템을 모델링 한 EMFG의 동작, 즉 마크 흐름을 분석한다는 것은 시스템의 동작을 파악하는 것이다. 본 연구에서는 EMFG의 과거동작을 파악할 수 있으며 시스템의 과거 이력을 판다할 수 있는 추적트리를 도입하고, 추적트리를 구할 수 있는 추적트리 알고리듬을 제안한다. 추적트리 알고리듬은 EMFG로 모릴링된 이산 시스템의 과거동작을 파악할 수 있게 하여 이산시스템의 고장진단이나 Deadlock과 같은 문제를 해결하는데 도움을 줄 것으로 기대된다.
Keywords