| BN | Bay | PN | PA | CB | DE | RB | ISM | CA | AB | |
| Signaling | + | + | ++ | ++ | + | ++ | ++ | ++ | + | ++ |
| Gene regulatory | ++ | ++ | + | + | ++ | + | ||||
| Metabolic | ++ | ++ | ++ | + | + | |||||
| As presented exactly in (Daniel and al 11), overview of the amount of literature references for each formalism classified by the type of biological process. (+) Few references; (++) Several references; (BN) Boolean networks; (Bay) Bayesian networks; (PN) Petri nets; (PA) Process algebras; (CB) Constraint-based models; (DE) Differential equations; (RB) Rule-based models; (ISM) Interacting state machines; (CA) Cellular automata; (AB) Agent-based models. | ||||||||||