This paper deals with time Petri nets where a time interval is associated to each transition. Time Petri nets are widely used for modeling and analysis of real-time systems. Although there are several techniques for time Petri net analysis, this paper presents an interval analysis using a global time approach where an algebraic model is proposed for computing of intervals. For a particular class of time Petri nets, this model assumes an interval linear equation form which allows to compute intervals for a firing sequence as well as performance measures for timed systems. By using a redution method for time Petri nets this model assumes a matricial form that can be applied to a broad class of Time Petri nets. Furthermore, this approach is illustrated by computing basic performance metrics for a communication protocol.
Time Petri Nets; Interval Analysis; Discrete Event Systems