On the pertinence of the extended time Petri net model for analyzing communication activities

The modeling power of the extended-time Petri net is shown. Among its salient features are that there is a firing interval associated with each transition, the probability density function is distributed over the firing interval, and any kind of probability density function can be considered. This model allows a qualitative analysis (considering time constraints) and a quantitative analysis. Particular consideration is given to the modeling of a one-way data transfer protocol (such as the one used in the class 0 transport protocol). This protocol, the Petri net model of which has an unbounded reachability tree, cannot be analyzed with any of the different types of stochastic Petri nets because these models are based on an underlying PN model, the reachability tree of which must be bounded