Interval Timed Coloured Petri Nets and Their Analysis

摘要

The paper presents the Interval Timed Colored Petri Net (ITCPN) model. Aninterval timed colored Petri net is a colored Petri net extended with time; time is in tokens and transitions determine a delay for each produced token. The delay is specified by an upper and lower bound, i.e. an interval. The ITCPN model allows the modelling of the dynamic behavior of large and complex systems, without losing the possibility of formal analysis. In addition to the existing analysis techniques for colored Petri nets, the author proposes a new analysis method to analyze the temporal behavior of the net. This method constructs a reduced reachability graph and exploits the fact that delays are described by an interval.