Generalized Stochastic Petri Nets (GSPN) and Stochastic Process Algebras (SPA) can both be used to study functionality as well as performance of parallel and distributed systems. In order to provide insight into the similarities and differences between the formalisms, we study the model construction process in both by means of a large example, a distributed electronic mail system. This comparison of the modelling facilities highlights points where ideas and techniques have been, or can be, exchanged between the two paradigms.
Scheda prodotto non validato
Attenzione! I dati visualizzati non sono stati sottoposti a validazione da parte dell'ateneo
Titolo: | GSPN and SPA Compared in Practice - Modelling A Distributed Mail System |
Autori: | |
Data di pubblicazione: | 1995 |
Abstract: | Generalized Stochastic Petri Nets (GSPN) and Stochastic Process Algebras (SPA) can both be used to study functionality as well as performance of parallel and distributed systems. In order to provide insight into the similarities and differences between the formalisms, we study the model construction process in both by means of a large example, a distributed electronic mail system. This comparison of the modelling facilities highlights points where ideas and techniques have been, or can be, exchanged between the two paradigms. |
Handle: | http://hdl.handle.net/11567/303211 |
ISBN: | 9783540601258 |
Appare nelle tipologie: | 02.01 - Contributo in volume (Capitolo o saggio) |