Proceedings of the Korea Information Processing Society Conference (한국정보처리학회:학술대회논문집)
- 2001.04b
- /
- Pages.977-980
- /
- 2001
- /
- 2005-0011(pISSN)
- /
- 2671-7298(eISSN)
Methods to Analyze a Multimedia Petri Net
멀티미디어 페트리 넷의 분석 방법
-
Im, Jae-Geol
;
- Hong, Gil-Dong (Dept of Computer Science, Han-Kook University) ;
- Kim, Cheol-Soo (Dept of Computer Engineering, Dae-sung University) ;
- Lee, Young-Hee (Dept of Computer Science, Han-Kook University)
-
임재걸
(동국대학교 컴퓨터학과)
;
- ;
- ;
- Published : 2001.04.13
Abstract
본 논문은 멀티미디어 페트리 넷을 분석하는 방법을 제공한다. 멀티미디어 시나리오는 결정적으로 진행됨으로 멀티미디어 페트리 넷은 마크드그래프라야 한다. 또한, 멀티미디어 시나리오는 시작 화면에서 시작하여 멀티미디어를 구성하는 모든 화면을 차례로 출력하고 종료 화면에서 끝나야 함으로 멀티미디어 페트리 넷은 Start place에만 하나의 토큰이 놓인 상태에서 격발을 진행하면 모든 트랜지션을 꼭 한번씩 격발한 다음 End place에만 꼭 하나의 토큰이 놓인 상태에 도달하는 성질이 있다. 본 논문은 이러한 성질들을 바탕으로 멀티미디어 시나리오의 무결성을 검사하는데 도움을 줄 수 있는 멀티미디어 페트리 넷의 분석 방법을 제공한다.
Keywords