Fig. 1.

(A) In cycle 1 (green), the model M1 was developed by taking the model Mz from the literature and refining it based on bioinformatic data. In cycle 2 (red), the models M1-smart and M1-random were developed by running inference tools for experiment generation, experiment execution, and model refinement. The model M1-smart was analyzed for biological understanding. In cycle 3 (blue), the models M1-smart and M1-random were compared using experiment generation and experiment execution. (B) The relationship and details of systems biology models: Mz, M1, M1-smart, and M1-random.