Stochastic Petri net

Stochastic Petri nets are a form of Petri net where the transitions fire after a probabilistic delay determined by a random variable.