论文信息 - Integrating Two Towers and GreatSPN

Integrating Two Towers and GreatSPN

We describe the integration of the EMPA based software tool TwoTowers and the GSPN based software tool GreatSPN, in order to fully realize a multiparadigm approach to the functional and performance modeling and analysis of concurrent and distributed systems. The integration is achieved via an improved semantics mapping EMPA terms onto GSPN models.

Marco Bernardo | Nadia Busi | Marina Ribaudo

[1] Giovanni Chiola,et al. Operational analysis of timed Petri nets and application to the computation of performance bounds , 1993, Proceedings of 5th International Workshop on Petri Nets and Performance Models.

[2] Marco Bernardo,et al. Compact Net Semantics for Process Algebras , 2000, FORTE.

[3] Holger Hermanns,et al. Exploiting Symmetries in Stochastic Process Algebras , 1998, ESM.

[4] Stephen Gilmore,et al. An Efficient Algorithm for Aggregating PEPA Models , 2001, IEEE Trans. Software Eng..

[5] Giovanni Chiola,et al. GreatSPN 1.7: Graphical Editor and Analyzer for Timed and Stochastic Petri Nets , 1995, Perform. Evaluation.

[6] Marco Ajmone Marsan,et al. Modelling with Generalized Stochastic Petri Nets , 1995, PERV.