Petri nets in which stochastic timing is associated with transitions are defined by generalizing models that were recently published. The impact that different execution policies have on the semantic of the model is discussed, together with the complexity induced by general distributions on the stochastic process derived from the graphical model. Exponential and Phase type distributions are given special attention. It is shown that in these cases the Petri net can be used to derive a Markovian model of the system behaviour which can then be solved to obtain the performance parameters of interest.
On Petri Nets with Stochastic Timing
BALBO, Gianfranco;
1985-01-01
Abstract
Petri nets in which stochastic timing is associated with transitions are defined by generalizing models that were recently published. The impact that different execution policies have on the semantic of the model is discussed, together with the complexity induced by general distributions on the stochastic process derived from the graphical model. Exponential and Phase type distributions are given special attention. It is shown that in these cases the Petri net can be used to derive a Markovian model of the system behaviour which can then be solved to obtain the performance parameters of interest.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.