The effect of execution policies on the semantics and analysis of stochastic Petri nets (1989)

by M Ajmone Marsan, G Balbo, A Bobbio, g Chiola, G Conte, A Cumani
Venue:IEEE Transations on Software Engineering