Stochastic Petri Nets and their generalizations are powerful formalisms for the specification of stochastic processes. In their original definition they do not provide any specification for the token extraction order applied by a transition to its input places, however this aspect may be relevant if timed transitions are interpreted as servers and tokens as customers, so that the extraction order may be interpreted as a scheduling policy. In this paper we discuss how the token scheduling policies different from the Random Order one which is assumed by default, may be relevant for the computation of average performance indices.

Stochastic Petri Nets sensitivity to token scheduling policies

BALBO, Gianfranco;BECCUTI, Marco;DE PIERRO, Massimiliano;
2011-01-01

Abstract

Stochastic Petri Nets and their generalizations are powerful formalisms for the specification of stochastic processes. In their original definition they do not provide any specification for the token extraction order applied by a transition to its input places, however this aspect may be relevant if timed transitions are interpreted as servers and tokens as customers, so that the extraction order may be interpreted as a scheduling policy. In this paper we discuss how the token scheduling policies different from the Random Order one which is assumed by default, may be relevant for the computation of average performance indices.
2011
Annual International Conference of the German Operations Research Society (GOR) at Universität der Bundeswehr München, September 1–3, 2010
Munich, Germany
Settembre 1-3, 2010
Operations Research Proceedings 2010, Selected Papers of the Annual International Conference of the German Operations Research Society (GOR) at Universität der Bundeswehr München
Springer
-
181
186
9783642200083
9783642200090
G. Balbo; M. Beccuti; M. De Pierro; G. Franceschinis
File in questo prodotto:
Non ci sono file associati a questo prodotto.

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/2318/82532
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus ND
  • ???jsp.display-item.citation.isi??? 0
social impact