Distributed Semi-Markov Processes in Stochastic T-Timed Petri Nets - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Reports (Research Report) Year : 2003

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

Stefan Haar

Abstract

The heaps of pieces modelling approach (see Gaubert/Mairesse, PNPM'99) admits 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, 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.
Fichier principal
Vignette du fichier
RR-4754.pdf (320.57 Ko) Télécharger le fichier
Loading...

Dates and versions

inria-00071832 , version 1 (23-05-2006)

Identifiers

  • HAL Id : inria-00071832 , version 1

Cite

Stefan Haar. Distributed Semi-Markov Processes in Stochastic T-Timed Petri Nets. [Research Report] RR-4754, INRIA. 2003. ⟨inria-00071832⟩
138 View
134 Download

Share

Gmail Facebook X LinkedIn More