Advertisement

GSPN and SPA Compared in Practice

Modelling a Distributed Mail System
  • S. Donatelli
  • H. Hermanns
  • J. Hillston
  • M. Ribaudo
Part of the Esprit Basic Research Series book series (ESPRIT BASIC)

Summary

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.

Keywords

Reachability Graph Translation Rule Temporal Abstraction Product Form Solution Functional Abstraction 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 1.
    M. Ajmone Marsan, G. Balbo, G. Conte, S. Donatelli, and G. Franceschinis. Modelling with Generalized Stochastic Petri Nets. John Wiley & Sons, 1994.Google Scholar
  2. 2.
    M. Bernardo, L. Donatiello, and R. Gorrieri. Modelling and Analyzing Concurrent Systems with MPA. In U. Herzog and M. Rettelbach, editors, Proc. of 2nd Process Algebra and Performance Modelling Workshop, 1994.Google Scholar
  3. 3.
    G. Brebner. A CCS-based Investigation of Deadlock in a Multi-process Electronic Mail System. Formal Aspects of Computing, 5(5):467–479, 1993.MATHCrossRefGoogle Scholar
  4. 4.
    P. Buchholz. Compositional Analysis of a Markovian Process Algebra. In U. Herzog and M. Rettelbach, editors, Proc. of 2nd Process Algebra and Performance Modelling Workshop, 1994.Google Scholar
  5. 5.
    G. Chiola, C. Dutheillet, G. Franceschinis, and S. Haddad. Stochastic Well-Formed coloured nets for symmetric modelling applications. IEEE Transactions on Computers, 42(11), November 1993.Google Scholar
  6. 6.
    S. Donatelli. Superposed generalized stochastic Petri nets: Definition and efficient solution. In Proc. of 15th Int. Conference on Application and Theory of Petri Nets, Zaragoza, Spain, 1994.Google Scholar
  7. 7.
    S. Donatelli, J. Hillston, and M. Ribaudo. A Comparison of Performance Evaluation Process Algebra and Generalized StochasticPetri Net. to appear in PNPM’ 95, 1995.Google Scholar
  8. 8.
    S. Donatelli and M. Sereno. On the Product Form Solution for Stochastic Petri Nets. In Application and Theory of Petri Nets, pages 154-172. Springer Verlag, 1992.Google Scholar
  9. 9.
    N. Goetz, H. Hermanns, U. Herzog, V. Mertsiotakis, and M. Rettelbach. QMIPS book, chapter Stochastic Process Algebras: Constructive Specification Techniques Integrating Functional, Performance and Dependability Aspects. Springer, 1995. to appear.Google Scholar
  10. 10.
    U. Goltz. CCS and Petri nets. Technical Report 467, GMD, July 1990.Google Scholar
  11. 11.
    P. Harrison and J. Hillston. Exploiting Quasi-reversible Structures to find Product Form Solutions in MPA Models. In S. Gilmore and J. Hillston, editors, Proc. of 3nd Process Algebra and Performance Modelling Workshop. Springer-Verlag, 1995.Google Scholar
  12. 12.
    H. Hermanns, U. Herzog, J. Hillston, V. Mertsiotakis, and M. Rettelbach. Stochastic Process Algebras: Integrating Qualitative and Quantitative Modelling. Technical Report 11/94, Universität Erlangen-Nürnberg, IMMD VII, Martensstr. 3, 91058 Erlangen, May 1994.Google Scholar
  13. 13.
    H. Hermanns, M. Rettelbach, and T. Weiß. Formal characterisation of immediate actions in spa with nondeterministic branching. In Proc. of 3rd Process Algebra and Performance Modelling Workshop, 1995. to appear.Google Scholar
  14. 14.
    J. Hillston. A Compositional Approach to Performance Modelling. PhD thesis, University of Edinburgh, 1994.Google Scholar
  15. 15.
    J. Hillston. Compositional Markovian Modelling Using a Process Algebra. In W.J. Stewart, editor, Numerical Solution of Markov Chains. Kluwer, 1995.Google Scholar
  16. 16.
    J. Hillston and V. Mertsiotakis. A Simple Time Scale Decomposition Technique for SPA. In S. Gilmore and J. Hillston, editors, Proc. of 3nd Process Algebra and Performance Modelling Workshop. Springer-Verlag, 1995.Google Scholar
  17. 17.
    C. Lindemann. DSPNexpress: A Software Package for the Efficient Solution of Deterministic and Stochastic Petri Nets. In Proceedings of the 6th International Conference on Modelling Techniques and Tools for Computer Performance Evaluation, pages 15-29, Edinburgh, September 1992.Google Scholar
  18. 18.
    I. Mitrani, A. Ost, and M. Rettelbach. QMIPS book, chapter TIPP and the Spectral Expansion Method. Springer, 1995. to appear.Google Scholar
  19. 19.
    M. Rettelbach. Towards a Theory of Generalised SPA. In S. Gilmore and J. Hillston, editors, Proc. of 3rd Process Algebra and Performance Modelling Workshop, 1995. to appear.Google Scholar
  20. 20.
    M. Rettelbach and M. Siegle. Compositional Minimal Semantics for the Stochastic Process Algebra TIPP. In U. Herzog and M. Rettelbach, editors, Proc. of the 2nd Workshop on Process Algebras and Performance Modelling, pages 89-106, Regensberg/Erlangen, July 1994. Arbeitsberichte des IMMD, Universität Erlangen-Nürnberg.Google Scholar
  21. 21.
    M. Ribaudo. On the Relationship between Stochastic Process Algebras and Stochastic Petri Nets. PhD thesis, University of Torino, 1995.Google Scholar
  22. 22.
    M. Sereno. Towards a Product Form Solution for Stochastic Process Algebras. In S. Gilmore and J. Hillston, editors, Proc. of 3nd Process Algebra and Performance Modelling Workshop. Springer-Verlag, 1995.Google Scholar

Copyright information

© ECSC-EC-EAEC, Brussels-Luxembourg 1995

Authors and Affiliations

  • S. Donatelli
    • 1
  • H. Hermanns
    • 2
  • J. Hillston
    • 3
  • M. Ribaudo
    • 1
  1. 1.University of TorinoItaly
  2. 2.University of Erlangen-NürnbergGermany
  3. 3.University of EdinburghUK

Personalised recommendations