期刊名称：International Journal of Multimedia and Ubiquitous Engineering
印刷版ISSN：1975-0080
出版年度：2012
卷号：7
期号：2
出版社：SERSC
摘要：IPTV stands for Internet Protocol Television, and any user with an IP device such as a smart phone can get IPTV service anywhere and anytime as long as the user can access the Internet. Because of this advantage, IPTV is widely believed to be the next killer internet application, and many organizations provide IPTV services. As IPTV becomes popular, formal proofs of IPTV service quality have been attempted. One of them was the minimum cycle time analysis. The minimum cycle time analysis takes a long time when the given system is large. This paper proposes a divide-and-conquer method of minimum cycle time analysis that is much faster than the existing ones.
关键词：Petri net; IPTV; divide-and-conquer; minimum cycle time; live
