A class of generalized stochastic Petri nets for the performance evaluation of multiprocessor systems (1984)

by M Ajmone Marsan, G Balbo, G Conte
Venue:ACM Transactions on Computer Systems