Simulation of colored time Petri nets

This paper presents a simulation algorithm to analyze a type of colored time Petri nets, in which a time interval is associated with each transition. Specifically, we first unfold colored time Petri nets to standard time Petri nets and then develop a simulation algorithm of time Petri nets to realize the simulation of colored time Petri nets. A model of a real system is used to demonstrate and validate our approach.

[1]  Kurt Jensen.  Coloured Petri nets: A high level language for system design and analysis , 1989, Applications and Theory of Petri Nets.

[2]  Khaled Ghedira,et al.  Numerical method to simulate and to analyze Time Petri nets , 2011, 2011 4th International Conference on Logistics.

[3]  Monika Heiner,et al.  Petri Nets for Systems and Synthetic Biology , 2008, SFM.

[4]  M. Diaz,et al.  Modeling and Verification of Time Dependent Systems Using Time Petri Nets , 1991, IEEE Trans. Software Eng..

[5]  Andrea Maggiolo-Schettini,et al.  Time-Based Expressivity of Time Petri Nets for System Specification , 1999, Theor. Comput. Sci..

[6]  James Lyle Peterson,et al.  Petri net theory and the modeling of systems , 1981 .

[7]  Hassane Alla,et al.  Discrete, continuous, and hybrid Petri Nets , 2004 .

[8]  K. M. van Hee,et al.  Integration of a data model and high-level Petri nets , 1991 .

[9]  L.A. Kunzle,et al.  Interval Analysis of Time Petri Nets , 2006, The Proceedings of the Multiconference on "Computational Engineering in Systems Applications".

[10]  Vijay Gehlot,et al.  An introduction to systems modeling and simulation with Colored Petri Nets , 2010, Proceedings of the 2010 Winter Simulation Conference.

[11]  Kurt Lautenbach,et al.  System Modelling with High-Level Petri Nets , 1981, Theor. Comput. Sci..

[12]  Mariagrazia Dotoli,et al.  Validation of an Urban Traffic Network Model using Colored Timed Petri Nets , 2005, 2005 IEEE International Conference on Systems, Man and Cybernetics.

[13]  Doktor der Naturwissenschaften.  Colored Petri Nets for Systems Biology , 2012 .

[14]  Frank DiCesare,et al.  Synthesis rules for colored Petri nets and their applications to automated manufacturing systems , 1991, Proceedings of the 1991 IEEE International Symposium on Intelligent Control.

[15]  Kurt Jensen,et al.  Coloured Petri nets: A high level language for system design and analysis , 1991, Applications and Theory of Petri Nets.

[16]  Han-Pang Huang,et al.  Integrated manufacturing system modeling and simulation using distributed colored timed Petri net , 1999, IEEE SMC'99 Conference Proceedings. 1999 IEEE International Conference on Systems, Man, and Cybernetics (Cat. No.99CH37028).

[17]  Shisheng Zhong,et al.  Timed Colored Petri Nets Based Modelling and Scheduling of Aero-engine maintenance , 2006 .

[18]  Wil M. P. van der Aalst.  Interval Timed Coloured Petri Nets and their Analysis , 1993, Application and Theory of Petri Nets.

[19]  Dongjin Kim,et al.  Improving cluster tools performance using Colored Petri Nets in semiconductor manifacturing , 2012, Proceedings Title: Proceedings of the 2012 Winter Simulation Conference (WSC).

[20]  Hee Yong Youn,et al.  Modeling and Analysis of Time-Critical Context-Aware Service Using Extended Interval Timed Colored Petri Nets , 2012, IEEE Transactions on Systems, Man, and Cybernetics - Part A: Systems and Humans.

[21]  Ming Yang,et al.  An efficient method for unfolding colored Petri nets , 2012, Proceedings Title: Proceedings of the 2012 Winter Simulation Conference (WSC).

[22]  Liu Min.  Verification mechanism for semantic Web service composition based on colored Petri-nets , 2007 .