AEON: Attractor Bifurcation Analysis of Parametrised Boolean Networks.

N. Beneš, L. Brim, J. Kadlecaj, S. Pastva, D. Šafránek

International Conference on Computer Aided Verification (CAV) 2020

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 a so-called attractor. Depending on various logical parameters, the structure and quality of attractors can undergo a significant change, known as a bifurcation. We present a tool for analysing bifurcations in asynchronous parametrised Boolean networks. To fight the state-space and parameter-space explosion problem the tool uses a parallel semi-symbolic algorithm.

Cite this paper as: Beneš N., Brim L., Kadlecaj J., Pastva S., Šafránek D. (2020) AEON: Attractor Bifurcation Analysis of Parametrised Boolean Networks. In: Lahiri S., Wang C. (eds) Computer Aided Verification. CAV 2020. Lecture Notes in Computer Science, vol 12224. Springer, Cham./citeas>