Research activity in 1995
Durante il 1995 il gruppo di ricerca che si occupa di "Strumenti e Metodi per
l'Analisi dei Sistemi Informatici" ha svolto la propria attivita' nell'ambito
dei seguenti argomenti principali.
1. Il formalismo delle reti di Petri stocastiche (SPN) [Bal95b, Bal95a,
AMBC95] e' stato utilizzato per lo studio dei problemi relativi alla
caratterizzazione dei programmi concorrenti e alle prestazioni delle
architetture parallele. In particolare, le reti Well-Formed stocastiche (SWN)
sono state utilizzate per modellare ed analizzare sistemi paralleli/distribuiti
[DF95] e le reti di Petri stocastiche generalizzate (GSPN) sono state
utilizzate nel caso di applicazioni eterogenee distribuite [Ang95, Ang96].
Tutti gli algoritmi sviluppati per le diverse classi di reti di Petri
stocastiche sono stati implementati nello strumento software GreatSPN [GCR95,
GC95].
2. Continuando lo studio delle proprieta' delle SPN per ottenere una soluzione
sotto forma di prodotto, e sfruttando i risultati ottenuti, e' stato proposto
un metodo approssimato per il calcolo degli indici di prestazione anche per SPN
che non soddisfano i criteri necessari per ottenere una soluzione sotto forma
di prodotto [Ser95a].
3. Le relazioni esistenti tra le SPN e le algebre di processi stocastiche (SPA)
sono state approfondite [Rib95b, DHR95, DHHR]. Lo studio congiunto delle SPN e
delle SPA ha permesso di confrontare le tecniche di aggregazione dello spazio
degli stati (basate sulle condizioni di "lumpability") che sono state proposte
in entrambi i formalismi [Rib95a]. Inoltre sono stati definiti dei criteri
sintattici che permettono di calcolare una soluzione sotto forma di prodotto
[Ser95b] anche nel caso di modelli specificati con il formalismo delle SPA.
1995 Publications
S. Donatelli and G. Franceschinis, "State Space Reductions Using
Stochastic Well-Formed Net Simplifications: an Application to Random Polling
Systems," in Sigmetrics 95/Performance, Ottawa, Canada, 1995, Poster
Session [DF95].
G. Balbo, "Stochastic Petri Nets: Accomplishments and Open Problems," in
Proc. International Computer Performance and Dependability Symposium,
Erlangen, Germany, 1995, [Bal95b].
R. Gaeta and G. Chiola, "Efficient Simulation of SWN models," in 6th
International Workshop on Petri Nets and Performance Models, Durham, NC,
1995, [GC95].
G. Balbo, "On the Success of Stochastic Petri Nets," in Proc. 6th
International Workshop on Petri Nets and Performance Models, Durham, NC,
1995, [Bal95a].
S. Donatelli, J. Hillston, and M. Ribaudo, "A Comparison of Performance
Evaluation Process Algebra and Generalized Stochastic Petri Nets," in 6th
International Workshop on Petri Nets and Performance Models, Durham, NC,
1995, [DHR95].
M. Sereno, "Approximate Mean Value Analysis Technique for non-Product Form
Solution Stochastic Petri Nets: an Application to Stochastic Marked Graphs,"
in Proc. 6th International Workshop on Petri Nets and Performance
Models, Durham, NC, 1995, [Ser95a].
M. Ribaudo, "Stochastic Petri Net Semantics for Stochastic Process Algebras,"
in Proc. 6th International Workshop on Petri Nets and Performance
Models, Durham, NC, 1995, [Rib95b].
M. Ribaudo, "On the Aggregation Techniques in Stochastic Petri Nets and
Stochastic Process Algebras," in 3rd Workshop on Process Algebra and
Performance Modelling, S. Gimore and J. Hillston, Edinburgh, 1995, to
appear on The Computer Journal [Rib95a].
M. Sereno, "Towards a Product Form Solution for Stochastic Process Algebras,"
in 3rd Workshop on Process Algebra and Performance Modelling, S. Gimore
and J. Hillston, Edinburgh, 1995, to appear on The Computer Journal [Ser95b].
S. Donatelli, H. Hermanns, J. Hillston, and M. Ribaudo, GSPN and SPA
Compared in Practice, Esprit Basic Research Series. Springer Verlag, ,
[DHHR].
C. Anglano, "Performance Analysis of Heterogeneous Applications using
Generalized Stochastic Petri Net models," in Proceedings of the 7-th IASTED
International Conference on Parallel and Distributed Computing and Systems,
Washington, D.C., 1995, [Ang95].
C. Anglano, "Performance Modeling of Heterogeneous Distributed Applications,"
in Proceedings of the International Workshop on Modeling, Analysis and
Simulation of Computer and Telecommunication Systems (MASCOTS'96), IEEE-CS
Press, San Jose, CA, D.C., 1996, [Ang96].
R.G. G. Chiola, G. Franceschinis and M. Ribaudo, "GreatSPN 1.7: Graphical
Editor and Analyzer for Timed and Stochastic Petri Nets," Performance
Evaluation, special issue on Performance Modelling Tools, , [GCR95].
M. Ajmone Marsan, G. Balbo, G. Conte, S. Donatelli, and G. Franceschinis,
Modelling with Generalized Stochastic Petri Nets. J. Wiley, 1995,
[AMB95].