Figure 1.
Popular modelling formalisms for biological systems. The inner circle comprises the four basic modelling formalisms: topology-based modelling, ordinary differential equations (ODEs), continuous time Markov chain (CTMC) and Boolean logic modelling. Further, topology-based modelling is extended to constraint-based modelling (CBM), and Boolean logic to fuzzy logic. The outer ring is labelled with higher modelling formalisms including Petri nets and rule-based modelling, which can adopt the basic formalisms as underlying semantics.