In: PNPM89. Proceedings of the Third International Workshop On Petri Nets and Performance Models, 1989, Kyoto, Japan, pages 230-239. Los Alamitos, CA, USA: IEEE Computer Society Press, 1990.
Abstract: The aim of the paper is to show the ``modelling power'' of Extended Time Petri Nets (firing interval associated with each transition, probability density function distributed over the firing interval). This model allows a qualitative and a quanitative analysis. The authors consider, in particular, the modelling of a one way data tranfer protocol. This protocol, the Petri net model of which has an unbounded reachability tree, cannot be analysed with the different types of Stochastic Petri Nets (SPN, GSPN, ESPN) because these models are based on an underlying PN model, the reachability tree of which must be bounded.
Keywords: extended time net; unbounded reachability tree; data tranfer protocol.