1. A class of Generalized Stochastic Petri Nets for the performance evaluation of multi-processors systems;Ajmone-Marsan;ACM Trans. on Computer Systems,1984
2. On the product form solution of a class of multiple bus, multiple processors systems Int. workshop on modeling and performance evaluation of parallel systems;Ajmone-Marsan,1984
3. On Petri nets with stochastic timing;Ajmone-Marsan,1985
4. Generalized stochastic Petri nets revisited: random switches and priorities;Ajmone-Marsan,1987
5. Ajmone, M., Balbo, G., Bobbio, A., Chiola, G., Conte, G., Cumani, A., The effects of execution policies on the semantics and analysis of stochastic Petri nets, to appear in IEEE Transactions on Software Engineering