Fig. 2

Step-by-step analysis of the toy example. a) The regulatory network of the toy example. P1 and P2 activate P3, whereas P1 inhibits P3. b) The state transition graph (STG) of the toy example. c) The hierarchical transition graph (HTG) of the toy example. d) The STG of the toy example with P1 showing ectopic activity. e) The HTG of P1 ectopic activity. f) The STG of P1 ectopic activity when the system is initialised with all entities as active (i.e. at level 1). The STGs and HTGs were generated using GINsim [19]