A comparison of the expressiveness of SPA and bounded SPN models

Proceedings - 9th International Workshop on Petri Nets and Performance Models, PNPM 2001

Volumn , Issue , 2001, Pages 197-206

  Hillston, J ^a   Recalde, L ^b   Ribaudo, M ^c   Silva, M ^b  

^a UNIVERSITY OF EDINBURGH   (United Kingdom)

^b UNIVERSITY OF ZARAGOZA   (Spain)

^c UNIVERSITY OF TURIN   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

NET STRUCTURES; NET SYSTEMS; SIMPLE ALGORITHM; SIMPLER ALGORITHMS; SPN MODEL; TRANSFORMATION TECHNIQUES;

EID: 79551530466     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/PNPM.2001.953369     Document Type: Conference Paper

References (15)

1. M. Ajmone Marsan, G. Balbo, G. Conte, S. Donatelli, and G. Franceschinis. Modelling with Generalized Stochastic Petri Nets. John Wiley, 1995.
2. G. Balbo and M. Silva, editors. Proc. of Human Capital and Mobility MATCH-Performance Advanced School, Jaca, Spain, 1998.
3. M. Bemardo. Theory and Application of Extended Markovian Process Algebra. PhD thesis, Universita di Bologna, February 1999.
4. M. Bemardo, N. Busi, and R. Gorrieri. A distributed semantics for EMPA based on stochastic contextual nets. The Computer Journal, 38(6), 1995. Special Issue: Proc. of 3rd Process Algebra and Performance Modelling Workshop.
5. M. Bemardo and R. Gorrieri. A Tutorial on EMPA: A Theory of Concurrent Processes with Nondeterminism, Priorities, Probabilities and Time. Theoretical Computer Science, 201:l-54, July 1998.
6. J. M. Colom and M. Silva. Improving the linearly based characterization of P/T nets. In G. Rozenberg, editor, Advances in Petri Nets 1990, volume 483 of Lecture Notes in Computer Science, pages 113-145. Springer, 1991.
7. J. M. Colom, M. Silva, and J. L. Villarroel. On software implementation of Petri nets and colored Petri nets using high-level concurrent languages. In Proc. 7thEuropean Workshop on Application and Theory of Petri Nets, pages 207-241, Oxford, England, July 1986.
8. J. H. G. Clark, S. Gilrnore and M. Ribaudo. Exploiting Modal Logic to Express Performance Measures. In Proc. of 11th Int. Conference on Modelling Techniques and Toolsfor Computer Performance Evaluation, Chicago, USA, March 2000.
9. H. Hermanns. Inreractive Markov Chains. PhD thesis, Uni-versitat Erlangen-Numberg. September 1999.
10. J. Hillston. A Compositional Approach to Performance Modelling. Cambridge University Press, 1996.
11. M. K. Molloy. Performance analysis using stochastic Petri nets. IEEE Trans. on Computers, 31(9):913-917, 1982.
12. M. Ribaudo. On the relationship between Stochastic Petri Nets and Stochastic Process Algebras. PhD thesis, Universite di Torino, April 1995.
13. G. Rozenberg. Behaviour of elementary net systems. In Petri Nets: Central Models and Their Properties, volume 254 of LNCS. Springer Verlag, 1986.
14. M. Silva. Las Redes de Petri: en la Automatica y la Informatica. AC, 1985.
15. M. Silva, E. Teruel, and J. M. Colorn. Linear algebraic and linear programming techniques for the analysis of net systems. In G. Rozenberg and W.Reisig, editors, Lectures in Petri Nets. I: Basic Models, volume 1491 o f Lecture Notes in Computer Science, pages 309-373. Springer, 1998.