Interval Analysis of Time Petri Nets

This paper deals with time Petri nets where a time interval is associated with 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 formula is proposed for computing intervals. By using this algebraic formula the whole state space can be computed for a bounded time Petri net. For a particular class of time Petri nets, an interval linear equation form is obtained which allows to compute the interval for a firing sequence as well as performance measures of timed systems. Furthermore, this approach is illustrated by computing performance metrics for a communication protocol