Liveness enforcing supervision of video streaming systems using nonsequential petri nets

Authors

Hesuan Hu, Xidian University
Mengchu Zhou, Newark College of Engineering
Zhiwu Li, Xidian University

Document Type

Article

Publication Date

12-1-2009

Abstract

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. © 2006 IEEE.

Identifier

70450211663 (Scopus)

Publication Title

IEEE Transactions on Multimedia

External Full Text Location

https://doi.org/10.1109/TMM.2009.2032678

ISSN

15209210

First Page

1457

Last Page

1465

Issue

8

Volume

11

Grant

60474018

Fund Ref

Ministry of Education

Recommended Citation

Hu, Hesuan; Zhou, Mengchu; and Li, Zhiwu, "Liveness enforcing supervision of video streaming systems using nonsequential petri nets" (2009). Faculty Publications. 11766.
https://digitalcommons.njit.edu/fac_pubs/11766