Liveness enforcing supervision of video streaming systems using nonsequential Petri nets

  • Authors:

  • HeSuan Hu;MengChu Zhou;ZhiWu Li

  • Affiliations:

  • Department of Electrical and Computer Engineering, New Jersey Institute of Technology, Newark, NJ and School of Electro-Mechanical Engineering, Xidian University, Xi'an, Shaanxi, China;Department of Electrical and Computer Engineering, New Jersey Institute of Technology, Newark, NJ and School of Electro-Mechanical Engineering, Xidian University, Xi'an, Shaanxi, China;School of Electro-Mechanical Engineering, Xidian University, Xi'an, Shaanxi, China

  • Venue:
  • IEEE Transactions on Multimedia
  • Year:
  • 2009

Quantified Score

Hi-index 0.00

Visualization

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.