In this paper a new algorithm for the transient solution of a sub-class of Deterministic Stochastic Petri Nets (DSPN) is proposed. The technique can be applied to DSPNs comprising only deterministic and immediate transitions and such that in each tangible marking only one deterministic transition is enabled. The algorithm does not require any additional restriction on the deterministic transition delays that can have any positive real value. Most of the optimized algorithms presented in the literature are based on an efficient solution of the equations governing the stochastic process associated with the DSPN; the new algorithm we propose is based on an efficient combinatorial analysis of the paths within the state space underlying the DSPN, instead.

An Efficient Algorithm for the Transient Analysis of a Class of Deterministic Stochastic Petri Nets

SERENO, Matteo
2004-01-01

Abstract

In this paper a new algorithm for the transient solution of a sub-class of Deterministic Stochastic Petri Nets (DSPN) is proposed. The technique can be applied to DSPNs comprising only deterministic and immediate transitions and such that in each tangible marking only one deterministic transition is enabled. The algorithm does not require any additional restriction on the deterministic transition delays that can have any positive real value. Most of the optimized algorithms presented in the literature are based on an efficient solution of the equations governing the stochastic process associated with the DSPN; the new algorithm we propose is based on an efficient combinatorial analysis of the paths within the state space underlying the DSPN, instead.
2004
International Conference on Dependable Systems and Networks (DSN 2004)
Firenze, Italia
28 Giugno - 1 Luglio, 2004
Proceedings of the 2004 International Conference on Dependable Systems and Networks (DSN 2004)
IEEE Computer Society
835
844
0769520529
M. GRIBAUDO; M. SERENO
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/28892
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 2
  • ???jsp.display-item.citation.isi??? 0
social impact