Liveness enforcing supervision in video streaming systems using siphons

Journal of Information Science and Engineering

Volumn 25, Issue 6, 2009, Pages 1863-1884

  Hu, Hesuan ^a   Li, Zhiwu ^a  

^a XIDIAN UNIVERSITY   (China)

Author keywords

Deadlock prevention; Liveness enforcing supervision; Petri nets; Siphon; Video stream systems

Indexed keywords

CONTROL LAWS; CURRENT INTERACTIONS; DANGEROUS MARKING; DEADLOCK PREVENTION; ELEMENTARY SIPHON; GENERALIZED MUTUAL EXCLUSION CONSTRAINT; ITERATION STEP; LIVENESS; LIVENESS ENFORCING SUPERVISION; NETWORK OPERATIONS; NETWORK RESOURCE; OFF-LINE COMPUTATION; RESTRICTION POLICY; TARGET SYSTEMS; VIDEO STREAMS;

ACOUSTIC STREAMING; GRAPH THEORY; HYDRAULICS; LAW ENFORCEMENT; PETRI NETS; VIDEO STREAMING; VIDEOTEX;

SIPHONS;

EID: 72549113844     PISSN: 10162364     EISSN: None     Source Type: Journal    
DOI: None     Document Type: Article

References (34)

1. J. P. López-Grao and J. M. Colom, "Resource allocation systems: some complexity results on the S4PR class," in Proceedings of Formal Techniques for Networked and Distributed Systems, LNCS 4229, 2006, pp. 323-338.
2. J. P. López-Grao and J. M. Colom, "Lender processes competing for shared resources: Beyond the S4PR paradigm," in Proceedings of IEEE International Conference on Systems, Man and Cybernetics, 2006, pp. 3052-3059.
3. R. Tan and S. U. Guan, "A dynamic Petri net model for iterative and interactive distributed multimedia presentation," IEEE Transactions on Multimedia, Vol.7, 2005, pp. 869-879.
4. D. Wu, Y. Hou, and Y. Q. Zhang, "Transporting real-time video over the internet: Challenges and approaches," Proceedings of IEEE, Vol.88, 2000, pp. 1855-1875.
5. D. Wu, Y. Hou, W. Zhu, Y. Q. Zhang, and J. Peha, "Streaming video over the internet: Approaches and directions," IEEE Transactions on Circuits and Systems for Video Technology, Vol.11, 2001, pp. 282-300.
6. J. C. Chen, S. H. G. Chan, and V. O. K. Li, "Multipath routing for video delivery over bandwidth-limited networks," IEEE Journal on Selected Areas in Communications, Vol.22, 2001, pp. 1920-1932.
7. J. F. Kurose and R. Simha, "A microeconomic approach to optimal resource allocation in distributed computer systems," IEEE Transactions on Computers, Vol.38, 1989, pp. 705-717.
8. K. Lautenbach and H. Ridder, "The linear algebra of deadlock avoidance-A Petri net approach," Technical Report No. 25/96, Institute of Computer Science, University of Koblenz, Germany, 1996.
9. K. Lautenbach and P. S. Thiagarajan, "Analysis of a resource allocation problem using Petri nets," in Proceedings of the 1st European Conference on Parallel and Distributed Processing, 1979, pp. 260-266.
10. K. Lautenbach, "Reproducibility of the empty marking," in Proceedings of International Conference on Application and Theory of Petri Nets, LNCS 2360, 2002, pp. 237-253.
11. B. Abdallah and H. A. ElMaraghy, "Deadlock prevention and avoidance in FMS: A Petri net based approach," International Journal of Advanced Manufacturing Technology, Vol.14, 1998, pp. 704-715.
12. K. Barkaoui, A. Chaoui, and B. Zouari, "Supervisory control of discrete event systems based on structure theory of Petri nets," in Proceedings of IEEE Conference on Systems, Man, and Cybernetics, 1997, pp. 3750-2755
13. K. Barkaoui and J. F. Peyre, "On liveness and controlled siphons in Petri nets," in Proceedings of International Conference on Application and Theory of Petri Nets, LNCS 1091, 1996, pp. 57-72.
14. D. Y. Chao, "Max*-controlled siphons for liveness of S3PGR2," IET Control Theory and Applications, Vol.1,2007, pp. 933-936.
15. D. Y. Chao, "Reachability and firing sequences of homogeneous synchronized choice Petri nets," Journal of Information Science and Engineering, Vol.21, 2005, pp. 129-152.
16. D. Y. Chao, "Application of a synthesis algorithm to flexible manufacturing system," Journal of Information Science and Engineering, Vol.14, 1995, pp. 409-447.
17. J. Ezpeleta, J. M. Colom, and J. Martínez, "A Petri net based deadlock prevention policy for flexible manufacturing systems," IEEE Transactions on Robotics and Automation, Vol.11, 1995, pp. 173-184.
18. J. Ezpeleta and L. Recalde, "A deadlock avoidance approach for non-sequential resource allocation systems," IEEE Transactions on Systems, Man and Cybernetics - Part A, Vol.34,2004, pp. 93-101.
19. F. Chu and X. L. Xie, "Deadlock analysis of Petri nets using siphons and mathematical programming," IEEE Transactions on Robotics and Automation, Vol.13, 1997, pp. 793-804.
20. Y. S. Huang, "Deadlock prevention for sequence resource allocation systems," Journal of Information Science and Engineering, Vol.23,2007, pp. 215-231.
21. M. D. Jeng and X. L. Xie, "Analysis of modularly composed nets by siphons," IEEE Transactions on Systems, Man and Cybernetics, Vol.29, 1999, pp. 299-406.
22. Z. W. Li and M. C. Zhou, "Elementary siphons of Petri net and their application to deadlock prevention for flexible manufacturing systems," IEEE Transactions on Systems, Man and Cybernetics - Part A, Vol.34, 2004, pp. 38-51.
23. J. O. Moody and P. J. Antsaklis, "Petri net supervisors for DES with uncontrollable and unobservable transitions," IEEE Transactions on Automatic Control, Vol.45, 2000, pp. 462-476.
24. T. Murata, "Petri nets: Properties, analysis and application," Proceedings of IEEE, Vol.77, 1989, pp. 541-579.
25. J. Park and S. A. Reveliotis, "Deadlock avoidance in sequential resource allocation systems with multiple resource acquisitions and flexible routings," IEEE Transactions on Automatic Control, Vol.46, 2001, pp. 1572-1583.
26. S. A. Reveliotis, "On the siphon-based characterization of liveness in sequential resource allocation systems," in Proceedings of International Conference on Application and Theory of Petri Nets, LNCS 2679,2003, pp. 241-255.
27. F. Tricas, F. Garcia-Valles, J. M. Colom, and J. Ezpeleta, "A Petri net structure-based deadlock prevention solution for sequential resource allocation systems," in Proceedings of International Conference on Robotics and Automation, 2005, pp. 272-278.
28. F. Tricas, J. M. Colom, and J. Ezpeleta, "A solution to the problem of deadlocks in concurrent systems using Petri nets and integer linear programming," in Proceedings of the 11th Europe Simulation Symposium, 1999, pp. 542-546.
29. M. Uzam and M. C. Zhou, "An improved iterative synthesis approach for liveness enforcing supervisors of flexible manufacturing systems," International Journal of Production Research, Vol.44,2006, pp. 1987-2030.
30. K. Y. Xing, B. S. Hu, and H. Chen, "Deadlock avoidance policy for Petri net modeling of flexible manufacturing systems with shared resources," IEEE Transactions on Automatic Control, Vol.41, 1996, pp. 289-295.
31. H. Alaiwan and J. Toudic, "Recherche des semi-flots, des verroux et des trappes dans les rseaux de Petri," Technique et Science Informatiques, 1985, pp. 103-112.
32. Y. S. Huang, M. D. Jeng, X. L. Xie, and S. L. Chung, "Deadlock prevention policy based on Petri nets and siphons," International Journal of Production Research, Vol.39, 2001, pp. 283-305.
33. Z. W. Li and M. C. Zhou, "Control of elementary and dependent siphons of Petri nets and their application," IEEE Transactions on Systems, Man and Cybernetics - Part A, Vol.38, 2008, pp. 133-148.
34. F. S. Hsieh, "Analysis of flexible assembly processes based on structural decomposition of Petri nets," IEEE Transactions on Systems, Man and Cybernetics - Part A, Vol.37,2007, pp. 792-803.