Fig. 4From: Identification of bifurcation transitions in biological regulatory networks using Answer-Set ProgrammingGeneral illustration of a bifurcation. \(s_0\) is the initial state, \(S_g\) is a set of states in which the goal local state is present. The dashed arrows represent a sequence (possibly empty) of transitions. The plain red arrow is a bifurcation from a global state \(s_b\) to \(s_u\), and \(t_b\) is the associated local transitionBack to article page