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.

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

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

Existence and number of fixed points of Boolean transformations via the semi-tensor product method

A Semi‐Tensor Product Approach to Pseudo‐Boolean Functions with Application to Boolean Control Networks

New Algorithm for Finding Fixed Points and Cycles of Boolean Network

Stability and stabilization of Boolean networks

Attractor and Stability of Delayed Boolean Networks with State Constraints

Monostability and Bistability of Boolean Networks Using Semitensor Products

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

An Improved Criterion for Controllability of Boolean Control Networks.

Controllability of Higher Order Boolean Control Networks

Pinning Synchronization of Large-Scale Boolean Networks

Output Reachability Analysis and Output Regulation Control Design of Boolean Control Networks

A New Calculation for Boolean Derivative Using Cheng Product.

Recursive Self-Composite Approach Towards Structural Understanding of Boolean Network

Boolean Derivative Calculation with Application to Fault Detection of Combinational Circuits Via the Semi-Tensor Product Method

On the Observability of Free Boolean Networks Via the Semi-Tensor Product Method

L1-Gain Analysis and Model Reduction Problem for Boolean Control Networks

Stabilization and Oscillations Design for a Family of Cyclic Boolean Networks Via Nodes Connection.

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