Biodivine/Aeon

HELP

Network editor actions:

Double click to create a new variable.
Drag from `+` to create a new regulation.
Select element (click) to show the context menu.

Keyboard shortcuts:

(⌫) Remove selected element.
(N) Add new variable.
(E) Edit name of the selected variable.
(F) Edit update function of the selected variable.
(O) Change observability of the selected regulation.
(M) Change monotonicity of the selected regulation.
(H) Show this help message.

(this message disappears when you create the first variable)

● Overview

Variables:	-	Parameter space size:	-
Regulations:	-	State space size:	-
Max. in-degree:	-	Max. out-degree:	-
Explicit parameters:		(none)

● Variables

● Regulators

● Update Function

Some name (->) observable activation

Compute Engine

● Disconnected

Computation: (none)
Progress: unknown
Discovered classes: -

No engine running? Download binary:

Model File

Import

.AEONSimple text format .SBMLStandard
SBML L3

Export

Example Models

Bifurcation Function

The computation has been overwritten.
These results are no longer available!

No results loaded. Run analysis to show bifurcation function overview for the currently loaded model.

D disorder | O oscillation | S stability

About & Help

Aeon is a tool for analysing long-term behaviour of Boolean networks with parameters. Use the editor to create a new network, or import your own from .sbml or .aeon. You can leave the update functions in the network blank (this will automatically consider all admissible instantiations of such function) or specify an exact update function. In the update function, you can use arbitrary uninterpreted functions as parameters (see Budding Yeast-Irons example). Aeon will then automatically consider all admissible instantiations of such functions when analysing the model.

Once your network is ready, you can run the long-term behaviour analysis which will show you the behaviour classes of the model. The classes are separated based on stable, oscillating or disordered behaviour. For each class, you can generate a witness network that exihibits the specified behaviour.