Taming Asynchrony for Attractor Detection in Large Boolean Networks

Andrzej Mizera, Jun Pang, Hongyang Qu, Qixia Yuan*

*Corresponding author for this work

Research output: Contribution to journalConference articlepeer-review

31 Citations (Scopus)


Boolean networks is a well-established formalism for modelling biological systems. A vital challenge for analyzing a Boolean network is to identify all the attractors. This becomes more challenging for large asynchronous Boolean networks, due to the asynchronous scheme. Existing methods are prohibited due to the well-known state-space explosion problem in large Boolean networks. In this paper, we tackle this challenge by proposing a SCC-based decomposition method. We prove the correctness of our proposed method and demonstrate its efficiency with two real-life biological networks.

Original languageEnglish
Article number8398459
Pages (from-to)31-42
Number of pages12
JournalIEEE/ACM Transactions on Computational Biology and Bioinformatics
Issue number1
Publication statusPublished - 1 Jan 2019


  • Asynchronous Boolean networks
  • attractor detection
  • binary decision diagram
  • gene regulatory networks
  • strongly connected components


Dive into the research topics of 'Taming Asynchrony for Attractor Detection in Large Boolean Networks'. Together they form a unique fingerprint.

Cite this