Abstract:Boolean networks have been widely used in many areas of science and engineering to represent various dynamical behaviour. In systems biology, they became useful tools to study the dynamical characteristics of large-scale biomolecular networks and there have been a number of studies to develop efficient ways of finding steady states or cycles of Boolean network models. On the other hand, there has been little attention to analyzing the dynamic properties of the network structure itself. Here, we present a systematic way to study such properties by introducing a recursive self-composite of the logic update rules. Of note, we found that all Boolean update rules actually have repeated logic structures underneath. This repeated nature of Boolean networks reveals interesting algebraic properties embedded in the networks. We found that each converged logic leads to the same states, called kernel states. As a result, the longest-length period of states cycle turns out to be equal to the number of converged logics in the logic cycle. Based on this, we propose a leaping and filling algorithm to avoid any possible large string explosions during the self-composition procedures. Finally, we demonstrate how the proposed approach can be used to reveal interesting hidden properties using Boolean network examples of a simple network with a long feedback structure, a T-cell receptor network and a cancer network.

Alternative Approach to Calculate the Structure Matrix of Boolean Network with Semi-Tensor Product

Improved Calculation Scheme of Structure Matrix of Boolean Network Using Semi-tensor Product.

Analysis of Boolean Networks Using an Optimized Algorithm of Structure Matrix Based on Semi-tensor Product

A Novel Two-Step Tensegrity Topology-Finding Method Based on Mixed Integer Programming and Nonlinear Programming

Stability and stabilization of Boolean networks

Synchronization Design of Boolean Networks Via the Semi-Tensor Product Method.

Identification of Boolean Networks Using Premined Network Topology Information.

A BDD-Based Approach to Model Reduction of Boolean Networks

Stabilization of Delayed Boolean Networks Using Constrained State Pinning Control

Pinning Synchronization of Large-Scale Boolean Networks

On Simulation Relations of Boolean Control Networks

Controllability of Higher Order Boolean Control Networks

A Modeling Method for Process Systems and Studies on the Dynamical Behavior

Boolean computation approach of formal concepts

Boolean Operation Based Structure Matching Approach for Technology Mapping

Recursive Self-Composite Approach Towards Structural Understanding of Boolean Network

On Pinning Reachability of Probabilistic Boolean Control Networks

Survey on Semi-Tensor Product Method with Its Applications in Logical Networks and Other Finite-Valued Systems

An Effective Approach of Attractor Calculation for Boolean Control Networks

Beyond Boolean networks, a multi-valued approach

Classifier construction in Boolean networks using algebraic methods