한국컴퓨터정보학회:학술대회논문집 (Proceedings of the Korean Society of Computer Information Conference)

한국컴퓨터정보학회 (Korean Society of Computer Information)
권호 표지

IPTV 시스템의 페트리넷 표현

A Petri Net Representation of an IPTV System

  • 임재걸 (동국대학교 컴퓨터공학과) ;
  • 이계영 (동국대학교 컴퓨터공학과) ;
  • 우진석 (동국대학교 컴퓨터공학과)
  • 발행 : 2012.01.11
PDF 다운로드
⟨ 이전 논문 다음 논문 ⟩

초록

융합 시스템의 표본으로 주목받고 있는 IPTV는 라디오 전파 방송이 아닌 인터넷을 통하여 사용자들에게 멀티미디어 콘텐츠를 제공한다. IPTV 응용 분야에는 VOD(Video On Demand) 서비스, 교육, 문화, 오락 등 다양한 양방향 응용 서비스가 포함된다. 본 연구에서는 이러한 IPTV 시스템을 페트리 넷으로 표현하고, CPNTools를 이용하여 페트리 넷을 분석함으로써 IPTV 시스템이 막힘없이 운행됨을 검증한다.

키워드