This Article 
 Bibliographic References 
 Add to: 
Self-Modifiable Color Petri Nets for Modeling User Manipulation and Network Event Handling
July 2003 (vol. 52 no. 7)
pp. 920-932

Abstract—A Self-Modifiable Color Petri Net (SMCPN) which has multimedia synchronization capability and the ability to model user manipulation and network event (i.e., network congestion, etc.) handling is proposed in this paper. In SMCPN, there are two types of tokens: resource tokens representing resources to be presented and color tokens with two subtypes: one associated with some commands to modify the net mechanism in operation, another associated with a number to decide iteration times. Also introduced is a new type of resource token, named reverse token, that moves in the opposite direction of arcs. When user manipulation/network event occurs, color tokens associated with the corresponding interrupt handling commands will be injected into places that contain resource tokens. These commands are then executed to handle the user manipulation/network event. SMCPN has the desired general programmability in the following sense: 1) It allows handling of user manipulations or prespecified events at any time while keeping the Petri net design simple and easy. 2) It allows the user to customize event handling beforehand. This means the system being modeled can handle not only commonly seen user interrupts (e.g., skip, reverse, freeze), the user is free to define new operations, including network event handling. 3) It has the power to simulate self-modifying protocols. A simulator has been built to demonstrate the feasibility of SMCPN.

[1] B. Prabhakaran and S.V. Raghavan, "Synchronization Models for Multimedia Presentation with User Interaction," Proc. ACM Multimedia'93, pp. 157-166,California, 1993.
[2] C.-M. Huang and C.-M. Lo, An EFSM-Based Multimedia Synchronization Model and the Authoring System IEEE J. Selected Areas in Comm., no. 1, pp. 138-152, Jan. 1996.
[3] C.-M. Huang and C.-M. Lo, Synchronization for Interactive Multimedia Presentations IEEE Multimedia, vol. 5, no. 4, pp. 44-62, Oct.-Dec. 1998.
[4] C. Nicolaou, “An Architecture for Real-Time Multimedia Communication System,” J. Selected Areas in Comm., vol. 8, no. 3, Apr. 1990.
[5] F. Bastian and P. Lenders, Media Synchronization on Distributed Multimedia Systems Proc. Int'l Conf. Multimedia Computing and Systems, pp. 526-531, 1994.
[6] G. Blakowski and R. Steinmetz,"A Media Synchronization Survey: Reference Model, Specification, and Case Studies," IEEE J. Selected Areas in Comm., vol. 14, no. 1, Jan. 1996, pp. 5-35.
[7] J.L. Peterson, Petri Net Theory and the Modeling of Systems.Englewood Cliffs, N.J.: Prentice Hall, 1981.
[8] M. Diaz and P. Senac, Time Stream Petri Nets A Model for Multimedia Streams Synchronization Proc. First Int'l Conf. Multimedia Modeling, pp. 257-273, 1993.
[9] N.U. Qazi, M. Woo, and A. Ghafoor, "A Synchronization and Communication Model for Distributed Multimedia Objects," ACM Proc. Multimedia 93, ACM Press, New York, 1993, pp. 147-155.
[10] P.K. Andleigh and T. Kiran, Multimedia Systems Design, pp. 421-444. Prentice Hall, 1996.
[11] S.-U. Guan, H.-Y. Yu, and J.-S. Yang, A Prioritized Petri Net Model and Its Application in Distributed Multimedia System IEEE Trans. Computers, vol. 47, no. 4, pp. 477-481, Apr. 1998.
[12] S.-U. Guan and S.-S. Lim, Modeling Multimedia with Enhanced Prioritized Petri Nets Computer Comm., to appear.
[13] T. Agerwala, A Complete Model for Representing the Coordination for Asychronous Processes Hopkins Computer Research Report Number 32, Computer Science Program, Johns Hopkins Univ. Baltimore, Md., July 1974.
[14] T. Little and A. Ghafoor, "Synchronization and Storage for Multimedia Objects," IEEE J. Selected Areas in Comm., vol. 8, no. 3, pp. 413-427, Apr. 1990.
[15] W. Reisig, A Primer in Petri Net Design. Springer-Verlag, 1992.
[16] K. Jensen, Coloured Petri Nets, vol. 1. Springer-Verlag, 1997.
[17] S.-U. Guan and Z. Jiang, A New Approach to Implement Self-Modifying Protocols Proc. 2000 IEEE Int'l Symp. Intelligent Signal Processing and Comm. Systems (ISPACS 2000), pp. 539-544, Nov. 2000.
[18] Y.Y. Al-Salqan and C.K. Chang, Temporal Relations and Synchronization Agents IEEE Multimedia, vol. 3, pp. 30-39, 1996.
[19] R. Valk, On the Computational Power of Extended Petri Nets Proc. Math. Foundations of Computer Science 1978, pp. 526-535, 1978.
[20] K. Rothermel and T. Helbig, An Adaptive Protocol for Synchronizing Media Streams Multimedia Systems, vol. 5, no. 5, pp. 324-336, 1997.
[21] N. Bhatti, M. Hiltunen, R. Schlichting, and W. Chiu, “Coyote: A System for Constructing Fine-Grain Configurable Communication Services,” ACM Trans. Computer Systems, vol. 16, no. 4, pp. 321-366, Nov. 1998.
[22] W.T. Tsai, C.V. Ramamoorthy, W.K. Tsai, K. Wei, and O. Nishiguchi, Adaptive Hierarchical Routing Protocol IEEE Trans. Computers, vol. 38, no. 8, pp. 1059-1075, Aug. 1989.
[23] D.C.A. Bulterman, SMIL 2.0.2. Examples and Comparisons IEEE Multimedia, vol. 9, no. 1, pp. 74-84, Jan.-Mar. 2002.

Index Terms:
Self-Modifiable Color Petri Nets (SMCPN), color tokens, multimedia synchronization, self-modifying protocols.
Sheng-Uei Guan, Wei Liu, "Self-Modifiable Color Petri Nets for Modeling User Manipulation and Network Event Handling," IEEE Transactions on Computers, vol. 52, no. 7, pp. 920-932, July 2003, doi:10.1109/TC.2003.1214340
Usage of this product signifies your acceptance of the Terms of Use.