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) are presented and are applied to the performance evaluation of multiprocessor systems. GSPNs are derived from standard Petri nets by partitioning the set of transitions into two subsets comprising timed and immediate transitions. An exponentially distributed random firing time is associated with each timed transition, whereas immediate transitions fire in zero time. It is shown that GSPNs are equivalent to continuous-time stochastic processes, and solution methods for the derivation of the steady state probability distribution are presented. Examples of application of GSPN models to the performance evaluation of multiprocessor systems show the usefulness and the effectiveness of this modeling tool.
| Titolo: | A Class of Generalized Stochastic Petri Nets for the Performance Analysis of Multiprocessor Systems | |
| Autori Riconosciuti: | ||
| Autori: | M. Ajmone Marsan; G. Balbo; G. Conte | |
| Data di pubblicazione: | 1984 | |
| Abstract: | Generalized Stochastic Petri Nets (GSPNs) are presented and are applied to the performance evaluation of multiprocessor systems. GSPNs are derived from standard Petri nets by partitioning the set of transitions into two subsets comprising timed and immediate transitions. An exponentially distributed random firing time is associated with each timed transition, whereas immediate transitions fire in zero time. It is shown that GSPNs are equivalent to continuous-time stochastic processes, and solution methods for the derivation of the steady state probability distribution are presented. Examples of application of GSPN models to the performance evaluation of multiprocessor systems show the usefulness and the effectiveness of this modeling tool. | |
| Volume: | 2 (2) May 1984 | |
| Pagina iniziale: | 93 | |
| Pagina finale: | 122 | |
| Anno del convegno: | 1984-May | |
| Parole Chiave: | Petri Nets; Generalized Petri Nets; Markov Chain; Performance Evaluation; Modelling Formalism; Modelling | |
| Rivista: | ACM TRANSACTIONS ON COMPUTER SYSTEMS | |
| Appare nelle tipologie: | 03A-Articolo su Rivista |
File in questo prodotto:
Copyright © 2022