Manual and automatic exploitation of symmetries in SPN models

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

Volumn 1420, Issue , 1998, Pages 28-43

  Chiola, Giovanni ^a  

^a UNIVERSITY OF GENOA   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

ARTIFICIAL INTELLIGENCE; COMPUTER SCIENCE; COMPUTERS;

COMPLEX MODEL; FUTURE PERSPECTIVES; REACHABILITY ANALYSIS; SOLVABLE MODEL; SPN MODEL;

PETRI NETS;

EID: 84957633221     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-69108-1_3     Document Type: Conference Paper

References (19)

1. M. Ajmone Marsan, G. Balbo, G. Chiola, and G. Conte. Modeling the software architecture of a prototype parallel machine. In Proc. 1987 SIGMETRICS Conference, Banf, Alberta, Canada, May 1987. ACM.
2. M. Ajmone Marsan, G. Balbo, and G. Conte. A class of generalized stochastic Petri nets for the performance analysis of multiprocessor systems. ACM Transactions on Computer Systems, 2(9), May 1984.
3. M. Ajmone Marsan, G. Balbo, G. Conte, and F. Gregoretti. Modeling bus contention and memory interference in a multiprocessor system. IEEE Transactions on Computers, 32(1):60-72, January 1983.
4. M. Ajmone Marsan and G. Chiola. Construction of generalized stochastic Petri net models of bus oriented multiprocessor systems by stepwise refinements. In Proc. 2nd Int. Conf. on Modeling Techniques and Tools for Performance Analysis, Sophia Antipolis, France, June 1985. ACM.
5. M. Ajmone Marsan, G. Chiola, and G. Conte. Performance models of task synchronization in computer systems. In Proc. 1st Int. Conf. on Computers and Applications, Beijing, China, June 1984. IEEE.
6. G. Balbo, G. Chiola, S.C. Bruell, and P. Chen. An example of modelling and evaluation of a concurrent program using coloured stochastic Petri nets: Lamport's fast mutual exclusion algorithm. IEEE Transactions on Parallel and Distributed Systems, 3(2):221-240, March 1992.
7. G. Chiola, G. Bruno, and T. Demaria. Introducing a color formalism into generalized stochastic Petri nets. In Proc. 9th Europ. Workshop on Application and Theory of Petri Nets, Venezia, Italy, June 1988.
8. 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.
9. G. Chiola, C. Dutheillet, G. Franceschinis, and S. Haddad. Stochastic wellformed coloured nets and multiprocessor modelling applications. In K. Jensen and G. Rozenberg, editors, High-Level Petri Nets. Theory and Application. Springer Verlag, 1991.
10. G. Chiola, C. Dutheillet, G. Franceschinis, and S. Haddad. Stochastic well-formed coloured nets for symmetric modelling applications. IEEE Transactions on Computers, 42(11):1343-1360, November 1993.
11. G. Chiola, C. Dutheillet, G. Franceschinis, and S. Haddad. A symbolic reachability graph for coloured Petri nets. Theoretical Computer Science, 176:39-65, 1997.
12. G. Chiola and G. Franceschinis. Colored GSPN models and automatic symmetry detection. In Proc. 3rd Intern. Workshop on Petri Nets and Performance Models, Kyoto, Japan, December 1989. IEEE-CS Press.
13. 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, pages 144-153, Melbourne, Australia, December 1991. IEEE-CS Press.
14. G. Chiola, G. Franceschinis, and R. Gaeta. Modelling symmetric computer architectures by stochastic well-formed coloured nets. In 15th International Conference on Application and Theory of Petri Nets, Zaragoza, Spain, June 1994.
15. C. Dutheillet and S. Haddad. Aggregation and disaggregation of states in colored stochastic Petri nets: Application to a multiprocessor architecture. In Proc. 3rd Intern.Workshop on Petri Nets and Performance Models, Kyoto, Japan, December 1989. IEEE-CS Press.
16. J.G. Kemeny and J.L. Snell. Finite Markov Chains. Van Nostrand, Princeton, NJ, 1960.
17. Chuang Lin and Dan C. Marinescu. On stochastic high level Petri nets. In Proc. Int. Workshop on Petri Nets and Performance Models, Madison, WI, USA, August 1987. IEEE-CS Press.
18. Chuang Lin and Dan C. Marinescu. Stochastic high level Petri nets and applications. IEEE Transactions on Computers, 37(7):815-825, July 1988.
19. A. Zenie. Colored stochastic Petrinets. In Proc. Int. Workshop on Timed Petri Nets, pages 262-271, Torino, Italy, July 1985. IEEE-CS Press.