The paper decribes the GSPN approach to the performance evaluation of distributed systems. The structural properties and temporal specifications of GSPN are summarized, and application examples are then illustrated, trying to emphasize the methodology to be followed in the model development and validation, rather than the numerical results that can be obtained from the specific models developed in the paper.

An Introduction to Generalized Stochastic Petri Nets

BALBO, Gianfranco;DONATELLI, Susanna;FRANCESCHINIS, Giuliana
1991

Abstract

The paper decribes the GSPN approach to the performance evaluation of distributed systems. The structural properties and temporal specifications of GSPN are summarized, and application examples are then illustrated, trying to emphasize the methodology to be followed in the model development and validation, rather than the numerical results that can be obtained from the specific models developed in the paper.
31 (4)
699
725
Petri Nets; Generalized Stochastic Petri Nets; Modelling Formalism; Markov Chains; Model Validation; Performance Evaluation; Modelling.
M. AJMONE MARSAN; G. BALBO; G. CHIOLA; G. CONTE; S. DONATELLI; 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: http://hdl.handle.net/2318/26259
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus ND
  • ???jsp.display-item.citation.isi??? ND
social impact