This is a reboot of earlier work using the CoLoMoTo notebook.
The python notebook uses bioLQM to construct reversed logical models and then calls BoolSim to identify attractors of the original model and their backward reachable states using the reversed model (weak basins of attractions).
Operations on sets of states then allow to compute the strong basin of attraction for each attractor.
Further analysis enables to study the boundaries of these basins.
This notebook can be launched using the CoLoMoTo Docker image or directly in mybinder:
