Figure 5
From: A method to identify and analyze biological programs through automated reasoning
Studying the biological program governing cardiac development. (a) The differentiation of a cardiac progenitor cell towards either the first or second heart field as determined by Bmp2 and canonical Wnt signaling. (b) The ABN constructed based on cardiac model proposed by Herrmann et al., with Bmp2 and canonical Wnt signaling represented using two nodes to model a time delay. (c) The set of experimental constraints that the cardiac system exhibits. The initial and stable final expression states are shown, together with the expected temporal dynamics. (d) The ABN with all interactions set as possible. (e) The 10 minimal models that can satisfy all constraints, each of which contains an additional three interactions to the set defined by Herrmann et al.
