For the most recent entries see the Petri Nets Newsletter.

Distributed Semi-Markov Processes in Stochastic T-Timed Petri Nets.

Haar, Stefan

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.

Do you need a refined search? Try our search engine which allows complex field-based queries.

Back to the Petri Nets Bibliography