Text this: Stochastic Petri nets :