Liveness Enforcing Supervision of Video Streaming Systems Using Nonsequential Petri Nets
Liveness Enforcing Supervision of Video Streaming Systems Using Nonsequential Petri Nets
复制标题
DOI：
10.1109/tmm.2009.2032678
复制
发表时间：
2009-12
影响因子：
7.3
通讯作者：
Hesuan Hu;Mengchu Zhou;Zhiwu Li
中科院分区：
文献类型：
--
作者：
Hesuan Hu;Mengchu Zhou;Zhiwu Li
互联网驱动的视频流系统面临着许多流之间的高度网络资源共享，这可能会导致死锁等复杂的问题。使用虹吸管和相应的危险标记，这项工作研究了一种方法，以加强控制迭代。在每次迭代中，产生一个广义互斥约束，以仅保留那些强制执行活性的标记。此外，提出了一种广义的基本虹吸控制方法，使最终管理器结构简单。最后用实例说明了所提出的方法。
Internet-motivated video streaming systems face such complicated issues as a high degree of network-resource sharing amongst many flows, which potentially leads to deadlocks. Using siphons and their corresponding dangerous markings, this work investigates a method to enforce control iteratively. At each iteration, a generalized mutual exclusion constraint is produced to keep only those markings under which liveness is enforced. Furthermore, a generalized elementary siphon control method is proposed such that the final supervisor is structurally simple. Examples are used to illustrate the proposed approach.