Gspn and Spa Compared in Practice Modelling a Distributed Mail System
暂无分享,去创建一个
Holger Hermanns | Jane Hillston | Marina Ribaudo | J. Hillston | H. Hermanns | M. Ribaudo | S. Donatelli | SystemSusanna Donatelli
[1] Jane Hillston,et al. A compositional approach to performance modelling , 1996 .
[2] Ursula Goltz. CCS and Petri Nets , 1990, Semantics of Systems of Concurrent Processes.
[3] Matteo Sereno,et al. On the Product Form Solution for Stochastic Petri Nets , 1992, Application and Theory of Petri Nets.
[4] Giovanni Chiola,et al. Stochastic Well-Formed Colored Nets and Symmetric Modeling Applications , 1993, IEEE Trans. Computers.
[5] M. Siegle,et al. Compositional Minimal Semantics for the Stochastic Process Algebra TIPP , 1994 .
[6] Holger Hermanns,et al. Stochastic process algebras: integrating qualitative and quantitative modelling , 1994, FORTE.
[7] Susanna Donatelli,et al. Superposed Generalized Stochastic Petri Nets: Definition and Efficient Solution , 1994, Application and Theory of Petri Nets.
[8] Matteo Sereno. Towards a Product Form Solution for Stochastic Process Algebras , 1995, Comput. J..
[9] Christoph Lindemann,et al. DSPNexpress: A Software Package for the Efficient Solution of Deterministic and Stochastic Petri Nets , 1993, Perform. Evaluation.
[10] Holger Hermanns,et al. Formal Characterisation of Immediate Actions in SPA with Nondeterministic Branching , 1995, Comput. J..
[11] Susanna Donatelli,et al. A comparison of performance evaluation process algebra and generalized stochastic Petri nets , 1995, Proceedings 6th International Workshop on Petri Nets and Performance Models.
[12] J. Hillston. Compositional Markovian Modelling Using a Process Algebra , 1995 .
[13] Isi Mitrani,et al. TIPP and the Spectral Expansion Method , 1995 .