Correction

During proof-reading of the printed version of the article "Quantitative Modeling of Biochemical Networks" by R. Hofestädt and S. Thelen, the authors requested to insert the following correction:

In the section "MODELING OF BIOCHEMICAL NETWORKS", "Simulation with Petrinets", the last paragraph should read:

Definition: Let N = (P,T,F,K_u,K_o,V,m₀) be a Petrinet, U T a transition set and m the actual configuration of P. The set U is called simultaneous application set regarding m, if

U^- < m - K_u   and   U⁺ < K_o - m
with

U^- := _tU t^-   and   U⁺:= _tU t⁺.