Fig. 2

Overall workflow for the kboolnet package. A cloud-stored rxncon model can be iteratively developed using the three portions of the kboolnet workflow: verification of the model’s behavior (responsiveness to ligands and consistency between attractors representing the same biological state), validation against experimental data, and visualization of model trajectories and topology