Generalized Stochastic Petri Nets (GSPNs) provide a simple graph interface to the construction of Markovian models of computer systems. GSPNs can be used to describe and to specify system operations, as well as to evaluate system performance. Both the derivation of the stochastic model from the graph description, and the model solution, are obtained automatically by means of a computer program. This paper describes the software package that can be used to accomplish this task, and that helps the user in the construction of the model.

A Software Tool for the Automatic Analysis of Generalized Stochastic Petri Net Models

BALBO, Gianfranco;
1984-01-01

Abstract

Generalized Stochastic Petri Nets (GSPNs) provide a simple graph interface to the construction of Markovian models of computer systems. GSPNs can be used to describe and to specify system operations, as well as to evaluate system performance. Both the derivation of the stochastic model from the graph description, and the model solution, are obtained automatically by means of a computer program. This paper describes the software package that can be used to accomplish this task, and that helps the user in the construction of the model.
1984
International Conference on Modelling Techniques and Tools for Performance Analysis
Paris, France
May, 1984
Modelling Techniques and Tools for Performance Analysis
North Holland
243
258
Generalized Stochastic Petri Nets; Markov chain; Solution package; Performance evaluation
M. Ajmone Marsan; G. Balbo; G. Ciardo; G. Conte
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/26295
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus ND
  • ???jsp.display-item.citation.isi??? ND
social impact