Compositional Techniques for Asynchronous Boolean Networks

Alshahrani, M; Steggles, J

doi:10.5220/0012324300003657

Compositional Techniques for Asynchronous Boolean Networks

Lookup NU author(s): Maram Alshahrani, Dr Jason Steggles

Downloads

Accepted version [.pdf]

Licence

This work is licensed under a Creative Commons Attribution 4.0 International License (CC BY 4.0).

Abstract

Asynchronous Boolean networks are an important qualitative modelling approach for analysing and engineering biological systems. However, their practical application is limited by the state space explosion problem and lack of engineering tools. To help address these limitations we develop new compositional techniques for constructing and analysing asynchronous Boolean networks based on the idea of merging entities using Boolean operators. We propose a novel asynchronous interference state graph to model the interference that occurs in a composition and develop a range of important new asynchronous compositional techniques for analysing behavioural preservation and identifying point attractors.