Simulation of colored time Petri nets | IEEE Conference Publication | IEEE Xplore

Simulation of colored time Petri nets


Abstract:

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 fir...Show More

Abstract:

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.
Date of Conference: 26-28 August 2013
Date Added to IEEE Xplore: 27 January 2014
Electronic ISBN:978-1-4799-1334-3
Conference Location: Yinchuan, China

Contact IEEE to Subscribe

References

References is not available for this document.