Liveness enforcing supervision of video streaming systems using nonsequential petri nets

IEEE Transactions on Multimedia

Volumn 11, Issue 8, 2009, Pages 1457-1465

  Hu, Hesuan ^b   Zhou, Mengchu ^a   Li, Zhiwu ^b  

^a NEW JERSEY INSTITUTE OF TECHNOLOGY   (United States)

^b XIDIAN UNIVERSITY   (China)

Author keywords

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

Indexed keywords

DEADLOCK PREVENTION; DISCRETE EVENT SYSTEM; DISCRETE EVENT SYSTEMS; RESOURCE ALLOCATION SYSTEM; RESOURCE ALLOCATION SYSTEMS;

ACOUSTIC STREAMING; GRAPH THEORY; PETRI NETS; PLANNING; RESOURCE ALLOCATION; SIPHONS; VIDEOTEX;

VIDEO STREAMING;

EID: 70450211663     PISSN: 15209210     EISSN: None     Source Type: Journal    
DOI: 10.1109/TMM.2009.2032678     Document Type: Article

References (52)

1. 4PR paradigm," in Proc. IEEE Int. Conf. Systems, Man, and Cybernetics, Taipei, Taiwan, Oct. 2006, pp. 3052-3059.
2. 4PR class," in Proc. Formal Techniques for Networked and Distributed Systems , Berlin, Germany, Sep. 2006, vol.4229, pp. 323-338.
3. J. C. Chen, S. H. G. Chan, and V. O. K. Li, "Multipath routing for video delivery over bandwidth-limited networks," IEEE J. Select. Areas Commun., vol.22, no.10, pp. 1920-1932, Dec. 2004.
4. R. Tan and S. U. Guan, "A dynamic Petri net model for iterative and interactive distributed multimedia presentation," IEEE Trans. Multimedia, vol.7, no.5, pp. 869-879, Oct. 2005.
5. J. F. Kurose and R. Simha, "A microeconomic approach to optimal resource allocation in distributed computer systems," IEEE Trans. Comput., vol.38, no.5, pp. 705-717, May 1989.
6. D. Wu, Y. Hou, and Y.-Q. Zhang, "Transporting real-time video over the Internet: Challenges and approaches," Proc. IEEE, vol.88, no.12, pp. 1855-1875, Dec. 2000.
7. D. Wu, Y. Hou, W. Zhu, Y.-Q. Zhang, and J. Peha, "Streaming video over the Internet: Approaches and directions," IEEE Trans. Circuits Syst. Video Technol., vol.11, no.3, pp. 282-300, Mar. 2001.
8. T. Little and A. Ghafoor, "Synchronization and storage models for multimedia objects," IEEE J. Select. Areas Commun., vol.8, no.3, pp. 413-427, Apr. 1990.
9. M. Woo, N. Qazi, and A. Ghafoor, "A synchronization framework for communication of pre-orchestrated multimedia information," IEEE Netw., vol.8, no.1, pp. 52-62, Jan./Feb. 1994.
10. W. J. Dally and H. Aoki, "Deadlock-free adaptive routing in multicomputer networks using virtual channels," IEEE Trans. Parallel Distrib., vol.4, no.4, pp. 466-475, Apr. 1993.
11. K. Yoon and P. B. Berra, "TOPCN: Interactive temporal model for interactive multimedia documents," in Proc. Int. Workshop Multimedia Database Management Systems, Dayton, OH, Aug. 1998, pp. 136-144.
12. M. Diaz and P. Senac, "Time stream Petri nets: A model for multimedia streams synchronization," in Proc. Int. Conf. Multimedia Model, Singapore, Nov. 1993, pp. 257-273.
13. P. Senac, M. Diaz, and P. Saqui-Sannes, "Toward a formal specification of multimedia synchronization scenarios," Ann. Telecommun., vol.49, no.5-6, pp. 297-314, May 1994.
14. S. U. Guan, H. Y. Yu, and J. S. Yang, "A prioritized Petri net model and its application in distributed multimedia information," IEEE Trans. Comput., vol.47, no.4, pp. 477-481, Apr. 1998.
15. M. Albanese, R. Chellappa, V. Moscato, A. Picariello, V. S. Subrahmanian, P. Turaga, and O. Udrea, "A constrained probabilistic Petri net framework for human activity detection in video," IEEE Trans. Multimedia, vol.10, no.6, pp. 982-996, Oct. 2008.
16. S. C. Su and M. van der Schaar, "On the application of game-theoretic mechanism design for resource allocation in multimedia systems," IEEE Trans. Multimedia, vol.10, no.6, pp. 1197-1207, Oct. 2008.
17. M. Chen, G. M. Su, and M. Wu, "Dynamic resource allocation for robust distributed multi-point video conferencing," IEEE Trans. Multimedia, vol.10, no.5, pp. 910-925, Aug. 2008.
18. T. Nguyen, K. Kolazhi, R. Kamath, S. Cheung, and D. A. Tran, "Efficient multimedia distribution in source constraint networks," IEEE Trans. Multimedia, vol.10, no.3, pp. 523-537, Apr. 2008.
19. Z. W. Li and M. C. Zhou, "Elementary siphons of Petri net and their application to deadlock prevention for flexible manufacturing systems," IEEE Trans. Syst., Man, Cybern. A, vol.34, no.1, pp. 38-51, Jan. 2004.
20. Z. W. Li and M. C. Zhou, "Two-stage method to design liveness-enforcing Petri net supervisor for FMS," IEEE Trans. Ind. Informat., vol.2, no.4, pp. 313-325, Nov. 2006.
21. Z. W. Li and M. C. Zhou, "A survey and comparison of Petri net-based deadlock prevention policies for flexible manufacturing systems," IEEE Trans. Syst., Man, Cybern. C, vol.38, no.2, pp. 173-188, Mar. 2008.
22. F. Tricas, F. García-Vallés, J. M. Colom, and J. Ezpeleta, "A Petri net structure-based deadlock prevention solution for sequential resource allocation systems," in Proc. Int. Conf. Robotics and Automation, Barcelona, Spain, Apr. 2005, pp. 272-278.
23. J. Park and S. A. Reveliotis, "Deadlock avoidance in sequential resource allocation systems with multiple resource acquisitions and flexible routings," IEEE Trans. Autom. Control, vol.46, no.10, pp. 1572-1583, Oct. 2001.
24. B. Hruz and M. C. Zhou, Modeling and Control of Discrete Event Dynamic Systems. London, U.K.: Springer, 2007.
25. S. A. Reveliotis, "On the siphon-based characterization of liveness in sequential resource allocation systems," in Proc. Int. Conf. Application and Theory of Petri Nets, Berlin, Germany, Jun. 2003, vol.2679, pp. 241-255.
26. S. A. Reveliotis, "Implicit siphon control and its role in the livenessenforcing supervision of sequential resource allocation systems," IEEE Trans. Syst., Man, Cybern. A, vol.37, no.3, pp. 319-328, May 2007.
27. J. Ezpeleta, J. M. Colom, and J. Martínez, "A Petri net based deadlock prevention policy for flexible manufacturing systems," IEEE Trans. Robot. Autom., vol.11, no.2, pp. 173-184, Apr. 1995.
28. K. Barkaoui and J. F. Peyre, "On liveness and controlled siphons in Petri nets," in Proc. Int. Conf. Application and Theory of Petri Nets, Berlin, Germany, Jun. 1996, vol.1091, pp. 57-72.
29. J. O. Moody and P. J. Antsaklis, "Petri net supervisors for DES with uncontrollable and unobservable transitions," IEEE Trans. Autom. Control, vol.45, no.3, pp. 462-476, Mar. 2000.
30. K. Lautenbach and H. Ridder, The Linear Algebra of Deadlock Avoidance- a Petri Net Approach, Univ. Koblenz, Inst. Comput. Sci., Germany, 1996.
31. K. Yamalidou, J. O. Moody, M. Lemmon, and P. J. Antsaklis, "Feedback control of Petri nets based on place invariants," Automatica, vol.32, pp. 15-18, Jan. 1996.
32. Y. S. Huang, M. D. Jeng, X. L. Xie, and S. L. Chung, "Deadlock prevention policy based on Petri nets and siphons," Int. J. Prod. Res., vol.39, no.2, pp. 283-305, Jan. 2001.
33. M. C. Zhou and K. Venkatesh, Modeling, Simulation and Control of Flexible Manufacturing Systems: A Petri Net Approach. Singapore: World Scientific, 1998.
34. W. M. P. van der Aalst, "Business process management demystified: A tutorial on models, systems and standards for workflow management," in Advanced Course on Petri Nets. Berlin, Germany: Springer-Verlag, 2003, vol.3098, Lecture Notes in Computer Science, pp. 1-65.
35. D. Zhovtobryukh, "A Petri net-based approach to automated goal-driven web service composition," Simulation, vol.83, no.1, pp. 33-63, Jan. 2007.
36. M. C. Zhou and F. DiCesare, Petri Net Synthesis for Discrete Event Control of Manufacturing Systems. Boston, MA: Kluwer, 1993.
37. M. C. Zhou, F. DiCesare, and A. A. Desrochers, "A hybrid methodology for synthesis of Petri nets for manufacturing systems," IEEE Trans. Robot. Autom., vol.8, no.3, pp. 350-361, Jun. 1992.
38. N.Wu, M. C. Zhou, and F. Chu, "A Petri net based heuristic algorithm for realizability of target refining schedules in oil refinery," IEEE Trans. Autom. Sci. Eng., vol.5, no.4, pp. 661-676, Oct. 2008.
39. N. Wu, F. Chu, C. Chu, and M. C. Zhou, "Short-term schedulability analysis of crude oil operations in refinery with residency time constraint using Petri nets," IEEE Trans. Syst., Man, Cybern. C, vol.38, no.6, pp. 765-778, Nov. 2008.
40. N. Wu, M. C. Zhou, and Z. Li, "Resource-oriented Petri net for deadlock avoidance in flexible assembly systems," IEEE Trans. Syst., Man, Cybern. A, vol.38, no.1, pp. 56-69, Jan. 2008.
41. N. Wu, F. Chu, C. Chu, and M. C. Zhou, "Short-term schedulability analysis of multiple distiller crude oil operations in refinery with oil residency time constraint," IEEE Trans. Syst., Man, Cybern. C, vol.39, no.1, pp. 1-16, Jan. 2009.
42. Z. J. Ding, C. J. Jiang, M. C. Zhou, and Y. Y. Zhang, "Preserving languages and properties in stepwise refinement-based synthesis of Petri nets," IEEE Trans. Syst., Man, Cybern. A, vol.38, no.4, pp. 791-801, Jul. 2008.
43. Z. J. Ding, C. Jiang, and M. C. Zhou, "Deadlock checking for oneplace unbounded Petri nets based on modified reachability trees," IEEE Trans. Syst., Man, Cybern. B, vol.38, no.3, pp. 881-883, Jun. 2008.
44. Y. Du, C. Jiang, and M. C. Zhou, "A Petri net based correctness analysis of internet stock trading systems," IEEE Trans. Syst., Man, Cybern. C, vol.38, no.1, pp. 93-99, Jan. 2008.
45. J. S. Lee, M. C. Zhou, and P. L. Hsu, "Multi-paradigm modeling for hybrid dynamic systems using Petri net framework," IEEE Trans. Syst., Man, Cybern. A, vol.38, no.2, pp. 493-498, Mar. 2008.
46. Z. W. Li and M. C. Zhou, "On siphon computation for deadlock control in a class of Petri nets," IEEE Trans. Syst., Man, Cybern. A, vol.38, no.3, pp. 667-679, May 2008.
47. Z. W. Li and M. C. Zhou, "Control of elementary and dependent siphons in Petri nets and their application," IEEE Trans. Syst., Man, Cybern. A, vol.38, no.1, pp. 133-148, Jan. 2008.
48. Z. W. Li, M. C. Zhou, and M. D. Jeng, "A maximally permissive deadlock prevention policy for FMS based on Petri net siphon control and the theory of regions," IEEE Trans. Autom. Sci. Eng., vol.5, no.1, pp. 182-188, Jan. 2008.
49. Z. W. Li and M. C. Zhou, Deadlock Resolution in Automated Manufacturing Systems: A Novel Petri Net Approach. New York: Springer, 2009.
50. A. R.Wang, Z. W. Li, J. Y. Jia, and M. C. Zhou, "An effective algorithm to find elementary siphons in a class of Petri nets," IEEE Trans. Syst., Man, Cybern. A, vol.39, no.4, pp. 912-923, Jul. 2009.
51. K. Xing, M. C. Zhou, X. Yang, and F. Tian, "Optimal Petri net-based polynomial-complexity deadlock avoidance policies for automated manufacturing systems," IEEE Trans. Syst., Man, Cybern. A, vol.39, no.1, pp. 188-199, Jan. 2009.
52. P. C. Xiong, Y. S. Fan, and M. C. Zhou, "QoS-aware web service configuration," IEEE Trans. Syst., Man, Cybern. A, vol. 38,no. 4,pp. 188-199, Jan. 2008.