Introduction to stochastic Petri nets. (2002)

by G Balbo
Venue:In Lectures on Formal Methods and Performance Analysis,