1. Ballarini, P., Donatelli, S., Franceschinis, G.: Parametric stochastic well-formed nets and compositional modelling. In: Proc. 21st International Conference on Application and Theory of Petri Nets, Aarhus, Denmark (June 2000)
2. Bernardi, S., Donatelli, S., Horváth, A.: Compositionality in the greatspn tool and its use to the modelling of industrial applications. Software Tools for Technology Transfer (2001)
3. Lecture Notes in Computer Science;E. Best,1995
4. Chiola, G., Dutheillet, C., Franceschinis, G., Haddad, S.: Stochastic well-formed coloured nets for symmetric modelling applications. IEEE Transactions on Computers 42(11), 1343–1360 (1993)
5. Chiola, G., Franceschinis, G., Gaeta, R., Ribaudo, M.: GreatSPN 1.7: Graphical Editor and Analyzer for Timed and Stochastic Petri Nets. Performance Evaluation, special issue on Performance Modeling Tools 24(1&2), 47–68 (1995)