Taming asynchrony for attractor detection in large boolean networks.

  • Eco-Immunology and Microbiome
January 01, 2019 By:
  • Mizera A
  • Pang J
  • Qu H
  • Yuan Q.

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.

2019 Jan. IEEE/ACM Trans Comput Biol Bioinform.16(1):31-42. Epub 2018 Jun 27.
Other information