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.
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.
