The book provides an accessible introduction to the use of Generalized Stochastic Petri Nets (GSPNs) for the performance analysis of diverse distributed systems. Divided into two parts, it begins with a summary of the major results in GSPN theory. The second section is devoted entirely to application examples which demonstrate how GSPN methodology can be used in different arenas. A simple version of the software tool used to analyse GSPN models is included with the book and a concise manual for its use is presented in the later chapters.

Modelling with Generalized Stochastic Petri Nets

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

Abstract

The book provides an accessible introduction to the use of Generalized Stochastic Petri Nets (GSPNs) for the performance analysis of diverse distributed systems. Divided into two parts, it begins with a summary of the major results in GSPN theory. The second section is devoted entirely to application examples which demonstrate how GSPN methodology can be used in different arenas. A simple version of the software tool used to analyse GSPN models is included with the book and a concise manual for its use is presented in the later chapters.
J. Wiley & Sons Ltd
1
324
9780471930594
Petri Nets; Generalized Stochastic Petri Nets; Modelling Formalism; Modelling; Validation; Evaluation
M. Ajmone Marsan; G. Balbo; 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/25289
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus ND
  • ???jsp.display-item.citation.isi??? ND
social impact