The PSR methodology: Integrating hardware and software models

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 1091, Issue , 1996, Pages 133-152

  Donatelli, Susanna ^a   Franceschinis, Giuliana ^a  

^a UNIVERSITY OF TURIN   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

HARDWARE; PETRI NETS;

COMPOSITION RULE; GSPN MODELS; HARDWARE AND SOFTWARE; HARDWARE-SOFTWARE MODEL; SUBMODELS;

RECONFIGURABLE HARDWARE;

EID: 84957710163     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-61363-3_8     Document Type: Conference Paper

References (18)

1. M. Ajmone Marsan, G. Balbo, G. Conte, S. Donatelli, and G. Franceschinis. Modelling with Generalized Stochastic Petri Nets. J. Wiley, 1995.
2. M. Bernardo, L. Donatiello, and R. Gorrieri. Integrated analysis of concurrent distributed systems using Markovian Process Algebra. In Proc. Seventh International Conference on Formal Description Techniques, Berna,Switzerland, October 1994.
3. E. Best, R. Devillers, and J. Hall. The Petri box calculus: a new causal algebra with multilabel communication. In G. Rozenberg, editor, Advances in Petri Nets, volume 609 of LNCS, pages 21-69. Springer Verlag, 1992.
4. ift International Conference on Application and Theory of Petri Nets, Turin, Italy, June 1995. Springer Verlag. LNCS 935.
5. O. Botti and F. De Cindio. Process and resource boxes: an integrated pn performance model for applications and architectures. In IEEE Proc. of the Int. Conf. on Systems, Man and Cybernetics, Le Toquet, France, 1993.
6. O. Botti, S. Donatelli, and G. Franceschinis. Assessing the performance of multiprocessor architectures through swn models simulation: a case study in the field of plant automation systems. Submitted to the 29th Annual Simulation Symposium (SCS), New Orleans, Louisiana, U.S.A april 1996, 1995.
7. th Intern. Conference on Application and Theory of Petri Nets, volume 691 of LNCS, Chicago, Illinois, June 1993. Springer Verlag.
8. nd Workshop on Process Algebra and Performance Modelling, Erlangen, 1994.
9. 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.
10. th Intern. Workshop on Petri Nets and Performance Models, pages 216-221, Melbourne, Australia, December 1991. IEEE-CS Press.
11. S. Donatelli, G. Franceschinis, M. Ribaudo, and S. Russo. Use of GSPNs for concurrent software validation in EPOCA. Information and Software Technology, 36(7):443-448, 1994.
12. A. Ferscha. Modelling mappings of parallel computations onto parallel architectures with PRM-net model. In Proc. IFIP-WG 10.3 Working Conference on Decentralized Systems, Lyon, December 1989.
13. A. Ferscha. A Petri net approach for performance oriented parallel program design. Journal of Parallel and Distributed Computing, 15(3):188-206, July 1992. Special Issue on Petri Net Modelling of Parallel Computers.
14. Stephen Gilmore and Jane Hillston. The PEPA workbench: A tool to support a Process Algebra based approach to performance modelling. In Proc. Seventh International Conference on Modelling Techniques and Tools for Computer Performance Evaluation, Vienna, 1994.
15. N. Gotz, U. Herzog, and M. Rettelbach. Multiprocessor and distributed system design: The integration of functional specification and performance analysis using stochastic process algebra. In Tutorial Proc. Performance 1993, volume 729 of LNCS, Rome, 1994.
16. nd Workshop on Process Algebra and Performance Modelling, Erlangen, 1994.
17. Jane Hillston. Compositional Markovian modelling using a process algebra. In Proc. 2nd International Workshop on the Numerical Solution of Markov Chains, Raleigh, North Carolina, January 1995.
18. J.L. Villaroel, J. Martinez, and M. Silva. Graman: A graphic system for manufacturing system design. In Proc. of the IMACS Symposium on System Modelling and Simulation, Cetraro, Italy, 18-21 September 1988, 1989. North Holland - Elsevier.