A
stochastic Petri net is a five-tuple
SPN = (
P,
T,
F,
M0,
Λ) where: •
P is a set of states, called
places. •
T is a set of
transitions. •
F where
F ⊂ (
P ×
T) ∪ (
T ×
P) is a set of flow relations called "arcs" between places and transitions (and between transitions and places). •
M0 is the
initial marking. •
Λ = is the array of
firing rates λ associated with the transitions. The firing rate, a
random variable, can also be a function λ(
M) of the current marking. ==Correspondence to Markov process==