PV1 ⊧ AEONanalyses bifurcations of a parametrised Boolean network
Tool to analyse bifurcations (significant change in structure and quality of attractors) in asynchronous parametrised Boolean networksApplication domain/field
- Boolean networks (BNs)
- Parametrised Boolean networks
- Computational systems biology
Expected input
Parametrised Boolean network including a graphical description of the regulations.Format:
Parametrised Boolean network can either be edited using their interface/editor. However they also provide an import/export function for Boolean networks in their own text-based format (.aeon) or XML-based SBML level 3 qual standard (.sbml)Expected output
- Partitioning represented as a list of behaviour classes with the cardinality of the respective parameter space partitions.
Source: "AEON - Attractor Bifurcation Analysis of Parametrised Boolean Networks." by N. Benes et al. (CAV 2020)
- Witness BN (if user selects a behaviour class form the list above)
- Bifurcation function encoded as BDDs
Internals
- BDDs (Binary Decision Diagrams)
- TSCC (temporal strongly connected components) detection algorithm