Fig. 3From: Identification of bifurcation transitions in biological regulatory networks using Answer-Set ProgrammingTransition graph of the AN in Fig. 1 from the initial state \(s_0=\langle a_0,b_0,c_0 \rangle\) in bold. The goal \(a_2\) is in bold and blue; the states connected to the goal are in grey; the bifurcations for the goal are in thick/red and are labelled with the name of the local transitions in the AN definitionBack to article page