Liveness enforcing supervision of video streaming systems using nonsequential petri nets

Hesuan Hu; Mengchu Zhou; Zhiwu Li

doi:10.1109/TMM.2009.2032678

Liveness enforcing supervision of video streaming systems using nonsequential petri nets

Hesuan Hu, Mengchu Zhou, Zhiwu Li

Electrical and Computer Engineering

Research output: Contribution to journal › Article › peer-review

78 Scopus citations

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.

Original language	English (US)
Article number	5256267
Pages (from-to)	1457-1465
Number of pages	9
Journal	IEEE Transactions on Multimedia
Volume	11
Issue number	8
DOIs	https://doi.org/10.1109/TMM.2009.2032678
State	Published - Dec 2009

All Science Journal Classification (ASJC) codes

Signal Processing
Media Technology
Computer Science Applications
Electrical and Electronic Engineering

Keywords

Deadlock prevention
Discrete event system
Petri nets
Resource allocation system
Video streaming systems

Access to Document

10.1109/TMM.2009.2032678

Cite this

@article{99a46ca83137407288e6afac1c87b6c7,

title = "Liveness enforcing supervision of video streaming systems using nonsequential petri nets",

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.",

keywords = "Deadlock prevention, Discrete event system, Petri nets, Resource allocation system, Video streaming systems",

author = "Hesuan Hu and Mengchu Zhou and Zhiwu Li",

note = "Funding Information: Manuscript received October 29, 2008; revised July 26, 2009. First published September 22, 2009; current version published November 18, 2009. This work was supported in part by the Natural Science Foundation of China under Grants 60474018 and 60773001 and in part by the ChangJiang Scholars Program, PRC Ministry of Education. The associate editor coordinating the review of this manuscript and approving it for publication was Prof. Jiangchuan (JC) Liu.",

year = "2009",

month = dec,

doi = "10.1109/TMM.2009.2032678",

language = "English (US)",

volume = "11",

pages = "1457--1465",

journal = "IEEE Transactions on Multimedia",

issn = "1520-9210",

publisher = "Institute of Electrical and Electronics Engineers Inc.",

number = "8",

}

TY - JOUR

T1 - Liveness enforcing supervision of video streaming systems using nonsequential petri nets

AU - Hu, Hesuan

AU - Zhou, Mengchu

AU - Li, Zhiwu

N1 - Funding Information: Manuscript received October 29, 2008; revised July 26, 2009. First published September 22, 2009; current version published November 18, 2009. This work was supported in part by the Natural Science Foundation of China under Grants 60474018 and 60773001 and in part by the ChangJiang Scholars Program, PRC Ministry of Education. The associate editor coordinating the review of this manuscript and approving it for publication was Prof. Jiangchuan (JC) Liu.

PY - 2009/12

Y1 - 2009/12

N2 - 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.

AB - 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.

KW - Deadlock prevention

KW - Discrete event system

KW - Petri nets

KW - Resource allocation system

KW - Video streaming systems

UR - http://www.scopus.com/inward/record.url?scp=70450211663&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=70450211663&partnerID=8YFLogxK

U2 - 10.1109/TMM.2009.2032678

DO - 10.1109/TMM.2009.2032678

M3 - Article

AN - SCOPUS:70450211663

SN - 1520-9210

VL - 11

SP - 1457

EP - 1465

JO - IEEE Transactions on Multimedia

JF - IEEE Transactions on Multimedia

IS - 8

M1 - 5256267

ER -

Liveness enforcing supervision of video streaming systems using nonsequential petri nets

Abstract

All Science Journal Classification (ASJC) codes

Keywords

Access to Document

Other files and links

Fingerprint

Cite this