Computational Modeling, Formal Analysis, and Tools for Systems Biology
Fig 1
Most relevant examples of computational modeling approaches introduced with toy examples.
Related tools are listed in Table 1. References for the examples are as follows: process algebras [12], compartment-based systems [21], rule-based systems [22], statecharts [23], hybrid systems [24], Boolean networks [25], Petri nets [26], agent-based models [27], lattice-based models [28].