Summary
Stochastic Well-formed nets (SWNs) have been introduced as a good modeling tool for complex systems with inherently high degree of symmetry. Analysis and simulation algorithms allow the automatic exploitation of model symmetries to improve their efficiency. Fairly strong constraints are posed over the color definition syntax in order to support such automatic symmetry exploitation as compared to other high level Petri net formalisms. In this paper we derive several models of parallel computer architectures in order to show not only that the formalism is adequate for this class of applications, but also how the different types of symmetries can be mapped into the allowed specification formalism. From this set of case studies we conclude that SWNs are an “intermediate level” formalism, closer to the application domain than P/T nets, yet requiring some ingenuity and experience from the modeler in order to exploit their (high) potential.
This work was supported by the ESPRIT-BRA project No.7269 “QMIPS” and the Italian MURST 40% project.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
H.J. Genrich, “Equivalence transformations of Pr/T nets”, In Proc. 9th Europ. Workshop on Application and Theory of Petri Nets, Venezia, Italy, June 1988.
C. Lin and D-C. Marinescu, “Stochastic high level Petri nets and applications”, IEEE Transactions on Computers, 37(7), pp. 815–825, July 1988.
J.A. Carrasco, “Automated construction of compound Markov chains from generalized stochastic high-level Petri nets”, In Proc. 3rd Intern. Workshop on Petri Nets and Performance Models, pp. 93-102, Kyoto, Japan, December 1989. IEEE-CS Press.
G. Chiola, C. Dutheillet, G. Franceschinis, and S. Haddad, “On well-formed coloured nets and their symbolic reachability graph”, In Proc. 11th International Conference on Application and Theory of Petri Nets, Paris, France, June 1990. Reprinted in High-Level Petri Nets. Theory and Application, K. Jensen and G. Rozenberg (editors), Springer Verlag, 1991.
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.
G. Chiola, G. Franceschinis, and R. Gaeta, “A symbolic simulation mechanism for well-formed coloured Petri nets”, In Proc. 25th SCS Annual Simulation Symposium, Orlando, Florida, April 1992.
G. Chiola, R. Gaeta, and M. Ribaudo, “Designing an efficient tool for Stochastic Well-Formed Coloured Petri Nets”, In R. Pooley and J. Hillston, editors, Proc. 6th Int. Conference on Modelling Techniques and Tools for Computer Performance Evaluation, pp. 391-395, Edinburg, UK, September 1992, Antony Rowe Ltd.
C.E. Leiserson, “Fat-trees: Universal networks for hardware efficient supercomputing”, IEEE Transactions on Computers, C-34 (10), October 1985.
G. Chiola and G. Franceschinis, “A structural colour simplification in Well-Formed coloured nets”, In Proc. 4th Intern. Workshop on Petri Nets and Performance Models, pp. 144-153, Melbourne, Australia, December 1991. IEEE-CS Press.
G. Chiola, S. Donatelli, and G. Franceschinis, “GSPN versus SPN: what is the actual role of immediate transitions?”, In Proc. 4th Intern. Workshop on Petri Nets and Performance Models, pp. 20-31, Melbourne, Australia, December 1991. IEEE-CS Press.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1995 ECSC-EC-EAEC, Brussels-Luxembourg
About this chapter
Cite this chapter
Chiola, G., Franceschinis, G., Gaeta, R. (1995). Modeling Symmetric Computer Architectures by SWNs. In: Baccelli, F., Jean-Marie, A., Mitrani, I. (eds) Quantitative Methods in Parallel Systems. Esprit Basic Research Series. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-79917-4_18
Download citation
DOI: https://doi.org/10.1007/978-3-642-79917-4_18
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-79919-8
Online ISBN: 978-3-642-79917-4
eBook Packages: Springer Book Archive