Abstract:Given the large size and complexity of most biochemical regulation and signaling networks, there is a non-trivial relationship between the micro-level logic of component interactions and the observed macro-dynamics. Here we address this issue by formalizing the existing concept of pathway modules, which are sequences of state updates that are guaranteed to occur (barring outside interference) in the dynamics of automata networks after the perturbation of a subset of driver nodes. We present a novel algorithm to automatically extract pathway modules from networks and we characterize the interactions that may take place between modules. This methodology uses only the causal logic of individual node variables (micro-dynamics) without the need to compute the dynamical landscape of the networks (macro-dynamics). Specifically, we identify complex modules, which maximize pathway length and require synergy between their components. This allows us to propose a new take on dynamical modularity that partitions complex networks into causal pathways of variables that are guaranteed to transition to specific states given a perturbation to a set of driver nodes. Thus, the same node variable can take part in distinct modules depending on the state it takes. Our measure of dynamical modularity of a network is then inversely proportional to the overlap among complex modules and maximal when complex modules are completely decouplable from one another in the network dynamics. We estimate dynamical modularity for several genetic regulatory networks, including the Drosophila melanogaster segment-polarity network. We discuss how identifying complex modules and the dynamical modularity portrait of networks explains the macro-dynamics of biological networks, such as uncovering the (more or less) decouplable building blocks of emergent computation (or collective behavior) in biochemical regulation and signaling.

Temporal Logic Patterns for Querying Dynamic Models of Cellular Interaction Networks

Petri Net Models for the Semi-Automatic Construction of Large Scale Biological Networks

A framework for modelling Molecular Interaction Maps

Learning Biomolecular Models using Signal Temporal Logic

Identifying Latent Dynamic Components in Biological Systems

Modeling Biomolecular Networks In Cells Structures And Dynamics Introduction

Statistical Model Checking based Analysis of Biological Networks

Pattern Models: A Dynamic Epistemic Logic For Distributed Systems

Modeling of Molecular Networks

Boolean modeling: a logic‐based dynamic approach for understanding signaling and regulatory networks and for making useful predictions

Modeling and Analyzing Biological Oscillations in Molecular Networks

Discovery of Dynamical Network Models for Genetic Circuits From Time-Series Data with Incomplete Measurements

Dynamical Modularity in Automata Models of Biochemical Networks

Designing Logical Rules to Model the Response of Biomolecular Networks with Complex Interactions: An Application to Cancer Modeling

Quantitative and logic modelling of molecular and gene networks

A Model of the Cellular Iron Homeostasis Network Using Semi-Formal Methods for Parameter Space Exploration

Design Patterns for the Construction of Computational Biological Models.

Data-driven network models for genetic circuits from time-series data with incomplete measurements

Modeling of Resilience Properties in Oscillatory Biological Systems using Parametric Time Petri Nets, Supplementary Information

Characterization of Biologically Relevant Network Structures form Time-series Data

Nonlinear delay differential equations and their application to modeling biological network motifs