AEON. py is a Python library for the analysis of the long-term behaviour in very large
asynchronous Boolean networks. It provides significant computational improvements over …

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 …

Boolean networks (BNs) are a well-accepted modelling formalism in computational systems
biology. Nevertheless, modellers often cannot identify only a single BN that matches the …

Recent developments in both computational analysis and data-driven synthesis enable a
new era of automated reasoning with logical models (Boolean networks in particular) in …

Boolean network (BN) is a simple model widely used to study complex dynamic behaviour of
biological systems. Nonetheless, it might be difficult to gather enough data to precisely …

Edge-coloured directed graphs provide an essential structure for modelling and analysis of
complex systems arising in many scientific disciplines (eg feature-oriented systems, gene …

Regulatory networks (RNs) are a well-accepted modelling formalism in computational
systems biology. The control of RNs is currently receiving a lot of attention because it …

Problems arising in many scientific disciplines are often modelled using edge-coloured
directed graphs. These can be enormous in the number of both vertices and colours. Given …

Abstract Partially Specified Boolean Networks (PSBNs) represent a family of Boolean
models resulting from possible interpretations of unknown update logics. Hybrid extension of …

Aeon is a recent tool which enables efficient analysis of long-term behaviour of
asynchronous Boolean networks with unknown parameters. In this tool paper, we present a …