Attractor Bifurcation Analysis
of Parametrised Boolean Networks

Boolean networks (BNs) provide an effective modelling tool for various phenomena from science and engineering. Any long-term behaviour of a BN eventually converges to either a single state, or a cycle of states, called attractor. Depending on various logical parameters, the structure and quality of attractors can undergo a significant change, known as bifurcation. AEON enables analysing bifurcations in asynchronous parametrised Boolean networks. To fight the state-space and parameter-space explosion problem the tool uses a symbolic algorithm. A tool paper about AEON has been published at CAV 2020.