CINECA IRIS Institutional Research Information System
IRIS è il sistema di gestione integrata dei dati della ricerca (persone, progetti, pubblicazioni, attività) adottato dall'Università degli Studi di Torino.
AperTO è l'archivio istituzionale Open Access destinato a raccogliere, rendere visibile e conservare la produzione scientifica dell'Università degli Studi di Torino.
EnglishGeneralized 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.
| Titolo: | A Software Tool for the Automatic Analysis of Generalized Stochastic Petri Net Models | |
| Autori Riconosciuti: | ||
| Autori: | M. Ajmone Marsan; G. Balbo; G. Ciardo; G. Conte | |
| Data di pubblicazione: | 1984 | |
| 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. | |
| Editore: | North Holland | |
| Titolo del libro: | Modelling Techniques and Tools for Performance Analysis | |
| Pagina iniziale: | 243 | |
| Pagina finale: | 258 | |
| Nome del convegno: | International Conference on Modelling Techniques and Tools for Performance Analysis | |
| Luogo del convegno: | Paris, France | |
| Anno del convegno: | May, 1984 | |
| Parole Chiave: | Generalized Stochastic Petri Nets; Markov chain; Solution package; Performance evaluation | |
| Appare nelle tipologie: | 04A-Conference paper in volume |
File in questo prodotto:
Copyright © 2022