Abstract:Biological networks, such as genetic regulatory networks, often contain positive and negative feedback loops that settle down to dynamically stable patterns. Identifying these patterns, the so-called attractors, can provide important insights for biologists to understand the molecular mechanisms underlying many coordinated cellular processes such as cellular division, differentiation, and homeostasis. Both synchronous and asynchronous Boolean networks have been used to simulate genetic regulatory networks and identify their attractors. The common methods of computing attractors are that start with a randomly selected initial state and finish with exhaustive search of the state space of a network. However, the time complexity of these methods grows exponentially with respect to the number and length of attractors. Here, we build two algorithms to achieve the computation of attractors in synchronous and asynchronous Boolean networks. For the synchronous scenario, combing with iterative methods and reduced order binary decision diagrams (ROBDD), we propose an improved algorithm to compute attractors. For another algorithm, the attractors of synchronous Boolean networks are utilized in asynchronous Boolean translation functions to derive attractors of asynchronous scenario. The proposed algorithms are implemented in a procedure called geneFAtt. Compared to existing tools such as genYsis, geneFAtt is significantly [Formula: see text] faster in computing attractors for empirical experimental systems.The software package is available at https://sites.google.com/site/desheng619/download.

Efficient Algorithms for Injectivity and Bounded Surjectivity of One-dimensional Nonlinear Cellular Automata

Decentralized Cooperation Strategies in Two-Dimensional Traffic of Cellular Automata

An Optimization Algorithm Inspired by Membrane Computing

Patterns Induce Injectivity: A New Thinking in Constructing Injective Local Rules of 1D Cellular Automata over $\mathbb{F}_2$

Mutil-Conditions Impress Nonsingular Dimensional Cellular Automaton on Traffic Flow

Algorithmic Information Dynamics of Cellular Automata

Decision algorithms for reversibility of one-dimensional non-linear cellular automata under null boundary conditions

Transductions Computed by One-Dimensional Cellular Automata

Image Encryption Based on Non-Affine and Balanced Cellular Automata.

Characterization Of any Non-linear Boolean function Using A Set of Linear Operators

Effective Projections on Group Shifts to Decide Properties of Group Cellular Automata

Comparing Implementations of Cellular Automata as Images: A Novel Approach to Verification by Combining Image Processing and Machine Learning

On linear non-uniform cellular automata: duality and dynamics

AN INCOHERENT MULTIPLE-IMAGING SYSTEM FOR CELLULAR AUTOMATA

Two Graphs: Resolving the Periodic Reversibility of One-dimensional Finite Cellular Automata

On complex dynamics from reversible cellular automata

A Cellular Automaton Approach for Efficient Computing on Surface Chemical Reaction Networks

On Linear Cellular Automata

A Symmetric Image Encryption Algorithm Based on a Coupled Logistic–Bernoulli Map and Cellular Automata Diffusion Strategy

An Efficient Algorithm for Computing Attractors of Synchronous and Asynchronous Boolean Networks

Detecting emergent processes in cellular automata with excess information