1. Ajmone-Marsan, M., Chiola, G. (1987): “On Petri Nets with Deterministic and Exponential Transition Firing Times,” Lecture Notes in Computer Science, Vol. 266 [24], 1987, pp. 132–145.
2. Bowen and Hinchey, M.G. (1995): “Seven More Myths of Formal Methods”, IEEE Software, Vol.12, n.4, July 1995.
3. 2. Chiola (1991): "GreatSPN 1.5 Software Architecture"
4. 3. Proc. of the 5th Int. Conf. on Modelling Techniques and Tools for Computer Performance Evaluation, Torino, 13-15 Feb. 1991, pp. 117-132.
5. Ciardo, J.K. Muppala, and K.S. Trivedi (1989): “SPNP: Stochastic Petri Net Package”, in Proc. Int. Workshop on Petri Net and Performance Model, pp. 142–150, Kyoto, Japan, IEEE CS Press, Dec. 1989.