📩 Questions? Email us at sybila@fi.muni.cz
🛠 GitHub: web-gui | compute-engine

Beneš, N., Brim, L., Kadlecaj, J., Pastva, S., & Šafránek, D. (2020)
AEON: Attractor Bifurcation Analysis of Parametrised Boolean Networks.
In International Conference on Computer Aided Verification (CAV 2020), pp. 569–581.
AEON 2025 [v0.5.0]

AEON 2025 introduces functionality for control over Boolean networks. Users can now define control-relevant attributes and compute perturbations that guide the network toward a desired phenotype.

[tool] [manual]

~ Older versions ~

AEON 2021 [v0.4.1]

Interactive tree editor for exploring bifurcation properties and attractor structures based on parameter space attributes. Includes variable stability analysis and witness generation.

v0.3.0

Introduced a symbolic attractor detection algorithm. Massive scalability improvements, detailed static analysis for debugging, and enhancements to SBML compatibility.

v0.2.0 [deprecated]

Added visualization of attractor state spaces and improved SBML import/export.

AEON 2020 [v0.1.0] [deprecated]

Original AEON version published at CAV 2020. Features SBML-qual support and semi-symbolic attractor detection.

[tool] [manual]