% BIOCHAM model file

% declarations


% events


% LTL specification

% Parameters
parameter(k1,1).
parameter(k2,1).
parameter(k3,0.1).




% Macros




% Conservation laws

% Reaction rules
(MA(k1),MA(k2)) for E+S<=>E-S.
MA(k3) for E-S=>E+P.

% Initial state
present(E,100).
present(S,500).


absent(P).



% Spec



