Integrating TwoTowers and GreatSPN through a compact net semantics

Performance Evaluation

Volumn 50, Issue 2-3, 2002, Pages 153-187

  Bernardo, Marco ^a   Busi, Nadia ^b   Ribaudo, Marina ^c  

^a UNIVERSITY OF URBINO   (Italy)

^b UNIVERSITY OF BOLOGNA   (Italy)

^c UNIVERSITY OF GENOA   (Italy)

Author keywords

Petri nets semantics; Software tools; Stochastic Petri nets; Stochastic process algebra

Indexed keywords

ALGEBRA; COMPUTER AIDED SOFTWARE ENGINEERING; COMPUTER PROGRAMMING LANGUAGES; COMPUTER SOFTWARE; MARKOV PROCESSES; RANDOM PROCESSES;

STOCHASTIC PROCESS ALGEBRA (SPA);

SEMANTICS;

EID: 6444244502     PISSN: 01665316     EISSN: None     Source Type: Journal    
DOI: 10.1016/S0166-5316(02)00104-9     Document Type: Article

References (30)

1. M. Ajmone Marsan, G. Balbo, G. Conte, S. Donatelli, G. Franceschinis, Modelling with Generalized Stochastic Petri Nets, Wiley, New York, 1995.
2. Ajmone Marsan M., Donatelli S., Neri F., GSPN models of Markovian multiserver multiqueue systems Perform. Eval. 11 1990 227-240.
3. M. Bernardo, Theory and application of extended Markovian process algebra, Ph.D. Thesis, University of Bologna, Italy, 1999.
4. Bernardo M., Busi N., Gorrieri R., A distributed semantics for EMPA based on stochastic contextual nets Comput. J. 38 1995 492-509.
5. M. Bernardo, N. Busi, M. Ribaudo, Integrating TwoTowers and GreatSPN, in: Proceedings of the Eighth International Workshop on Process Algebra and Performance Modelling (PAPM'00), Carleton Scientific, Geneva, Switzerland, 2000, pp. 551-563.
6. M. Bernardo, N. Busi, M. Ribaudo, Compact net semantics for process algebras, in: Proceedings of the IFIP Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols and Protocol Specification, Testing and Verification (FORTE/PSTV'00), Pisa, Italy, Kluwer Academic Publishers, Dordrecht, 2000, pp. 319-334.
7. M. Bernardo, W.R. Cleaveland, S.T. Sims, W.J. Stewart, TwoTowers: a tool integrating functional and performance analysis of concurrent systems, in: Proceedings of the IFIP Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols and Protocol Specification, Testing and Verification (FORTE/PSTV'98), Paris, France, Kluwer Academic Publishers, Dordrecht, 1998, pp. 457-467.
8. M. Bravetti, M. Bernardo, Compositional asymmetric cooperations for process algebras with probabilities, priorities, and time, Technical Report UBLCS-2000-01, University of Bologna, Italy, 2000 (extended Abstract in Proceedings of the First International Workshop on Models for Time Critical Systems (MTCS'00), Electronic Notes in Theoretical Computer Science 39 (3), State College, PA, 2000).
9. N. Busi, R. Gorrieri, A Petri Net semantics for π-calculus, in: Proceedings of the Sixth International Conference on Concurrency Theory (CONCUR'95), LNCS 962, Philadelphia, PA, 1995, pp. 145-159.
10. Busi N., Gorrieri R., Zavattaro G., On the expressiveness of Linda coordination primitives Inform. Comput. 156 2000 90-121.
11. G. Chiola, C. Anglano, J. Campos, J.M. Colom, M. Silva, Operational analysis of timed Petri nets and applications to the computation of performance bounds, in: Proceedings of the Fifth International Workshop on Petri Nets and Performance Models (PNPM'93), Toulouse, France, IEEE-CS Press, 1993, pp. 128-137.
12. G. Chiola, C. Dutheillet, G. Franceschinis, S. Haddad, On well-formed coloured nets and their symbolic reachability graph, in: Proceedings of the 11th International Conference on Application and Theory of Petri Nets (ATPN'90), Paris, France, 1990.
13. Chiola G., Franceschinis G., Gaeta R., Ribaudo M., GreatSPN 1.7: graphical editor and analyzer for timed and stochastic Petri nets Perform. Eval. 24 1995 47-68.
14. W.R. Cleaveland, E. Madelaine, S.T. Sims, A front-end generator for verification tools, in: Proceedings of the First International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS'95), LNCS 1019, Aarhus, Denmark, 1995, pp. 153-173.
15. W.R. Cleaveland, S.T. Sims, The NCSU concurrency workbench, in: Proceedings of the Eighth International Conference on Computer Aided Verification (CAV'96), LNCS 1102, New Brunswick, NJ, 1996, pp. 394-397.
16. Degano P., De Nicola R., Montanari U., A distributed operational semantics for CCS based on condition/event systems Acta Inform. 26 1988 59-91.
17. S. Gilmore, J. Hillston, L. Recalde, Elementary structural analysis for PEPA, Technical Report ECS-LFCS-97-377, University of Edinburgh, UK, 1997.
18. S. Gilmore, J. Hillston, M. Ribaudo, An efficient algorithm for aggregating PEPA models, IEEE Trans. Softw. Eng., in press.
19. U. Goltz, On representing CCS programs by finite Petri nets, in: Proceedings of the 13th International Symposium on Mathematical Foundations of Computer Science (MFCS'88), LNCS 324, Carlsbad, Czechoslovakia, 1988, pp. 339-350.
20. H. Hermanns, Interactive Markov chains, Ph.D. Thesis, University of Erlangen, Germany, 1998.
21. H. Hermanns, M. Ribaudo, Exploiting symmetries in stochastic process algebras, in: Proceedings of the 12th European Simulation Multiconference (ESM'98), SCS Europe, 198, pp. 763-770.
22. J. Hillston, A Compositional Approach to Performance Modelling, Cambridge University Press, Cambridge, 1996.
23. Meyer J.F., Sanders W.H., Reduced base model construction methods for stochastic activity networks IEEE J. Selected Areas Commun. 9 1991 25-36.
24. R. Milner, Communication and Concurrency, Prentice-Hall, Englewood Cliffs, NJ, 1989.
25. E.-R. Olderog, Nets, Terms and Formulas, Cambridge University Press, Cambridge, 1991.
26. Paige R., Tarjan R.E., Three partition refinement algorithms SIAM J. Comput. 16 1987 973-989.
27. W. Reisig, Petri Nets: An Introduction, Springer, Berlin, 1985.
28. M. Ribaudo, On the relationship between stochastic process algebras and stochastic Petri nets, Ph.D. Thesis, University of Torino, Italy, 1995.
29. W.J. Stewart, Introduction to the Numerical Solution of Markov Chains, Princeton University Press, Princeton, NJ, 1994.
30. G. Winskel, The Formal Semantics of Programming Languages, MIT Press, Cambridge, MA, 1993.