In: 10th International Workshop on Petri Nets and Performance Models (PNPM 2003), Urbana, Illinois, USA, pages 114-123. IEEE Press, September 2003.
Abstract: The heaps of pieces modelling approach allows a (max, +)-linear model for the time consumption, under earliest firing and a given trace, of safe T-timed nets. The present paper shows that this type of model can be extended to general nets, using an appropriate partial order semantics under cluster view, to include stochastic choice and timing; we give the algorithmic construction of that semantics and obtain a semi-Markov property in multi-dimensional real time.
Keywords: stochastic T-timed nets; clusters; partial order runs; max-plus-algebra; semi-Markov property.