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

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

A Petri Net Representation of an IPTV System

IPTV 시스템의 페트리넷 표현

  • 임재걸 (동국대학교 컴퓨터공학과) ;
  • 이계영 (동국대학교 컴퓨터공학과) ;
  • 우진석 (동국대학교 컴퓨터공학과)
  • Published : 2012.01.11
Download PDF
⟨ Previous Next ⟩

Abstract

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

Keywords