Liveness enforcing supervision of video streaming systems using nonsequential petri nets

Hesuan Hu, Mengchu Zhou, Zhiwu Li

Research output: Contribution to journalArticlepeer-review

77 Scopus citations


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 languageEnglish (US)
Article number5256267
Pages (from-to)1457-1465
Number of pages9
JournalIEEE Transactions on Multimedia
Issue number8
StatePublished - Dec 2009

All Science Journal Classification (ASJC) codes

  • Signal Processing
  • Media Technology
  • Computer Science Applications
  • Electrical and Electronic Engineering


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


Dive into the research topics of 'Liveness enforcing supervision of video streaming systems using nonsequential petri nets'. Together they form a unique fingerprint.

Cite this