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 MoreMetadata
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