The simple.biopepa model, shown in Figure 14, contains just a single species , which is only involved in the
reaction. The
reaction is governed by a kinetic parameter
, which controls the rate of decay. The parameter
has been given the constant value 1. The rate of the
also depends on the quantity of
available. The kinetic law for the
reaction is the product of
and
.
is decreased (<<) by the decay reaction.
This is a simple but well-formed Bio-PEPA model. It passes the static analysis checks which are built into the Bio-PEPA Eclipse Plug-in. For example, everything which is used has also been declared (the Bio-PEPA Eclipse Plug-in would generate an error otherwise) and everything which has been declared has also been used (the Bio-PEPA Eclipse Plug-in would generate a warning otherwise).