Collection of example stochastic Petri net (SPN) models. Includes LV, a Lotka--Volterra
model, ID, an immigration--death process, BD, a birth--death
process, SIR, a simple SIR model, SEIR, an SEIR epidemic model, Dimer, a simple dimerisation kinetics model, and
MM, a Michaelis--Menten enzyme kinetic model.
data(spnModels)Each model is a list, with components Pre, Post,
and h. Some models also include an initial state, M. See
gillespie and StepGillespie for further details, and
examples of use.