Logical Modeling and Dynamical Analysis of Cellular Networks

The logical (or logic) formalism is increasingly used to model regulatory and signaling networks. Complementing these applications, several groups contributed various methods and tools to support the definition and analysis of logical models. After an introduction to the logical modeling framework and to several of its variants, we review here a number of recent methodological advances to ease the analysis of large and intricate networks. In particular, we survey approaches to determine model attractors and their reachability properties, to assess the dynamical impact of variations of external signals, and to consistently reduce large models. To illustrate these developments, we further consider several published logical models for two important biological processes, namely the differentiation of T helper cells and the control of mammalian cell cycle.

• Publication year

  2016

• Venue

  Frontiers in Genetics

• Publication date

  2016-05-31

• Fields of study

  Biology, Mathematics, Computer Science, Medicine

• Identifiers
  DOI 10.3389/fgene.2016.00094PMID 27303434PMCID 4885885
• External record

  Open on Semantic Scholar

• Source metadata

  Semantic Scholar, PubMed

• No claims are published for this paper.

• No concepts are published for this paper.

• Model Checking

  2018influential reference
• Logical model specification aided by model-checking techniques: application to the mammalian cell cycle regulation

  2016cited by this paper
• Coordinating Role of RXRα in Downregulating Hepatic Detoxification during Inflammation Revealed by Fuzzy-Logic Modeling

  2016cited by this paper
• A SAT-Based Algorithm for Finding Short Cycles in Shift Register Based Stream Ciphers

  2016cited by this paper
• A Modeling Approach to Explain Mutually Exclusive and Co-Occurring Genetic Alterations in Bladder Tumorigenesis.

  2015cited by this paper
• Discovery of Drug Synergies in Gastric Cancer Cells Predicted by Logical Modeling

  2015cited by this paper
• Logical modeling of the mammalian cell cycle

  2015influential reference
• The Systems Biology Markup Language (SBML) Level 3 Package: Qualitative Models, Version 1, Release 1

  2015cited by this paper
• Mathematical Modelling of Molecular Pathways Enabling Tumour Cell Invasion and Migration

  2015influential reference
• A Minimal Regulatory Network of Extrinsic and Intrinsic Factors Recovers Observed Patterns of CD4+ T Cell Differentiation and Plasticity

  2015cited by this paper
• A logical model of HIV-1 interactions with the T-cell activation signalling pathway

  2015cited by this paper
• Quantitative and logic modelling of molecular and gene networks

  2015influential reference
• Learning Boolean logic models of signaling networks with ASP

  2015cited by this paper
• Computing maximal and minimal trap spaces of Boolean networks

  2015cited by this paper
• Models in biology: lessons from modeling regulation of the eukaryotic cell cycle

  2015cited by this paper
• Systems Perturbation Analysis of a Large-Scale Signal Transduction Model Reveals Potentially Influential Candidates for Cancer Therapeutics

  2015cited by this paper
• BioModels: ten-year anniversary

  2014influential reference
• Quantification of reachable attractors in asynchronous discrete dynamics

  2014cited by this paper
• A Discrete Model of Drosophila Eggshell Patterning Reveals Cell-Autonomous and Juxtacrine Effects

  2014influential reference
• Cooperative development of logical modelling standards and tools with CoLoMoTo

  2014cited by this paper
• Design, Assessment, and in vivo Evaluation of a Computational Model Illustrating the Role of CAV1 in CD4+ T-lymphocytes

  2014cited by this paper
• Modelling the onset of senescence at the G1/S cell cycle checkpoint

  2014influential reference
• Model Checking to Assess T-Helper Cell Plasticity

  2014cited by this paper
• Boolean modeling: a logic‐based dynamic approach for understanding signaling and regulatory networks and for making useful predictions

  2014influential reference
• The regulatory network that controls the differentiation of T lymphocytes

  2013cited by this paper
• A Cell Simulator Platform: The Cell Collective

  2013influential reference
• SBML qualitative models: a model representation format and infrastructure to foster interactions between qualitative modelling formalisms and tools

  2013cited by this paper
• Computational Modeling of ERBB2-Amplified Breast Cancer Identifies Combined ErbB2/3 Blockade as Superior to the Combination of MEK and AKT Inhibitors

  2013cited by this paper
• Mapping Differentiation under Mixed Culture Conditions Reveals a Tunable Continuum of T Cell Fates

  2013influential reference
• A Comprehensive, Multi-Scale Dynamical Model of ErbB Receptor Signal Transduction in Human Mammary Epithelial Cells

  2013influential reference
• An effective network reduction approach to find the dynamical repertoire of discrete dynamic networks.

  2013cited by this paper
• Dynamical modeling and analysis of large cellular regulatory networks.

  2013influential reference
• The Duration of T Cell Stimulation Is a Critical Determinant of Cell Fate and Plasticity

  2013cited by this paper
• Modeling approaches for qualitative and semi-quantitative analysis of cellular signaling networks

  2013influential reference
• Model Checking of Biological Systems

  2013cited by this paper
• Integrative Modelling of the Influence of MAPK Network on Cancer Cell Fate Decision

  2013cited by this paper
• A Reduction Method for Boolean Network Models Proven to Conserve Attractors

  2013cited by this paper
• Hard-wired heterogeneity in blood stem cells revealed using a dynamic regulatory network model

  2013influential reference
• Logical modelling of gene regulatory networks with GINsim.

  2012influential reference
• CellNOptR: a flexible toolkit to train protein signaling networks to data using multiple logic formalisms

  2012cited by this paper
• Predicting missing expression values in gene regulatory networks using a discrete logic modeling optimization guided by network stable states

  2012cited by this paper
• Continuous time boolean modeling for biological signaling: application of Gillespie algorithm

  2012cited by this paper
• Helper T cell diversity and plasticity.

  2012cited by this paper
• Efficient Handling of Large Signalling-Regulatory Networks by Focusing on Their Core Control

  2012cited by this paper
• Ergodic Sets as Cell Phenotype of Budding Yeast Cell Cycle

  2012influential reference
• State–time spectrum of signal transduction logic models

  2012cited by this paper
• Efficient Verification for Logical Models of Regulatory Networks

  2012cited by this paper
• Dynamics of Influenza Virus and Human Host Interactions During Infection and Replication Cycle

  2012cited by this paper
• The Cell Collective: Toward an open and collaborative approach to systems biology

  2012cited by this paper
• A SAT-Based Algorithm for Finding Attractors in Synchronous Boolean Networks

  2011cited by this paper
• Modeling the cell cycle: why do certain circuits oscillate?

  2011cited by this paper
• Reproducible computational biology experiments with SED-ML - The Simulation Experiment Description Markup Language

  2011cited by this paper
• "Antelope": a hybrid-logic model checker for branching-time Boolean GRN analysis

  2011cited by this paper
• Dynamical and Structural Analysis of a T Cell Survival Network Identifies Novel Candidate Therapeutic Targets for Large Granular Lymphocyte Leukemia

  2011cited by this paper
• Training Signaling Pathway Maps to Biochemical Data with Constrained Fuzzy Logic: Quantitative Analysis of Liver Cell Responses to Inflammatory Stimuli

  2011cited by this paper
• Dynamically consistent reduction of logical regulatory graphs

  2011cited by this paper
• Applications of a formal approach to decipher discrete genetic networks

  2010cited by this paper
• Logic-Based Models for the Analysis of Cell Signaling Networks†

  2010cited by this paper
• Diversity and Plasticity of Th Cell Types Predicted from Regulatory Network Modelling

  2010cited by this paper
• Comparing Boolean and Piecewise Affine Differential Models for Genetic Networks

  2010cited by this paper
• Modeling ERBB receptor-regulated G1/S transition to find novel targets for de novo trastuzumab resistance

  2009cited by this paper
• ON/OFF and Beyond - A Boolean Model of Apoptosis

  2009cited by this paper
• Discrete logic modelling as a means to link protein signalling networks with functional analysis of mammalian signal transduction

  2009cited by this paper
• Hypergraphs and Cellular Networks

  2009cited by this paper
• Modeling stochasticity and robustness in gene regulatory networks

  2009cited by this paper
• The philosophy of scientific experimentation: a review

  2009cited by this paper
• Transforming Boolean models to continuous models: methodology and application to T-cell receptor signaling

  2009cited by this paper
• ChemChains: a platform for simulation and analysis of biochemical networks aimed to laboratory scientists

  2009cited by this paper
• Modular logical modelling of the budding yeast cell cycle.

  2009cited by this paper
• Logical modelling of cell cycle control in eukaryotes: a comparative study.

  2009cited by this paper
• Logical analysis of the budding yeast cell cycle.

  2009influential reference
• Robustness And Fragility

  2009cited by this paper
• Cancer attractors: a systems view of tumors from a gene network dynamics and developmental perspective.

  2009cited by this paper
• A graphical model approach for inferring large-scale networks integrating gene expression and genetic polymorphism

  2009influential reference
• Synchronous versus asynchronous modeling of gene regulatory networks

  2008cited by this paper
• Statistical Model Checking in BioLab: Applications to the Automated Analysis of T-Cell Receptor Signaling Pathway

  2008cited by this paper
• Segmenting the fly embryo: logical analysis of the role of the segment polarity cross-regulatory module.

  2008influential reference
• Network model of survival signaling in large granular lymphocyte leukemia

  2008cited by this paper
• Symbolic reachability analysis of genetic regulatory networks using discrete abstractions

  2008cited by this paper
• Boolean network models of cellular regulation: prospects and limitations

  2008cited by this paper
• The transition from differential equations to Boolean networks: a case study in simplifying a regulatory network model.

  2008cited by this paper
• Logical modelling of the role of the Hh pathway in the patterning of the Drosophila wing disc

  2008influential reference
• Floral Morphogenesis: Stochastic Explorations of a Gene Network Epigenetic Landscape

  2008cited by this paper
• Fuzzy Logic Analysis of Kinase Pathway Crosstalk in TNF/EGF/Insulin-Induced Signaling

  2007cited by this paper
• Decision Diagrams for the Representation and Analysis of Logical Models of Genetic Networks

  2007cited by this paper
• A Logical Model Provides Insights into T Cell Receptor Signaling

  2007cited by this paper
• Dynamical roles of biological regulatory circuits

  2007cited by this paper
• Automatic Verification of Knowledge and Time with NuSMV

  2007influential reference
• A network model for the control of the differentiation process in Th cells.

  2006cited by this paper
• Dynamical analysis of a generic Boolean model for the control of the mammalian cell cycle

  2006influential reference
• PRISM: A Tool for Automatic Verification of Probabilistic Systems

  2006cited by this paper
• Minimum information requested in the annotation of biochemical models (MIRIAM)

  2005cited by this paper
• Robustness and fragility of Boolean models for genetic regulatory networks.

  2005cited by this paper
• Validation of qualitative models of genetic regulatory networks by model checking: analysis of the nutritional stress response in Escherichia coli

  2005cited by this paper
• Theoretical Biology and Medical Modelling

  2005cited by this paper
• A model for restriction point control of the mammalian cell cycle.

  2004cited by this paper
• The systems biology markup language (SBML): a medium for representation and exchange of biochemical network models

  2003cited by this paper
• A description of dynamical graphs associated to elementary regulatory circuits

  2003cited by this paper
• Symbolic Model Checking of Biochemical Networks

  2003cited by this paper
• The yeast cell-cycle network is robustly designed.

  2003cited by this paper

• Experimentally calibrated multiscale model predicts schedule dependent drug combination effects.

  2026cites this paper
• Questioning the G2 phase in the budding yeast cell cycle with a qualitative and possibilistic model

  2026cites this paper
• Relating biomarkers and phenotypes using dynamical trap spaces

  2026cites this paper
• KGBN: Augmenting and optimizing logical gene regulatory networks using knowledge graphs

  2026cites this paper
• Maximizing the Energy Efficiency of Open Radio Access Networks via Optimizing the Operational Parameters

  2025cites this paper
• Petri net on expanded networks computes the dynamics of finite multilevel models.

  2025cites this paper
• Integrative network modeling of colorectal cancer reveals diagnostic signatures and therapeutic targets

  2025cites this paper
• Artificial-intelligence-driven innovations in mechanistic computational modeling and digital twins for biomedical applications.

  2025cites this paper
• DNA Damage-Induced Ferroptosis: A Boolean Model Regulating p53 and Non-Coding RNAs in Drug Resistance

  2025cites this paper
• Reproducible Boolean model analyses and simulations with the CoLoMoTo software suite: a tutorial

  2025cites this paper
• A Computational Protocol for the Knowledge-Based Assessment and Capture of Pathologies.

  2025cites this paper
• Identifying Protein Co-Regulatory Network Logic by Solving B-Sat Problems Through Gate-Based Quantum Computing

  2025cites this paper
• LM-Merger: a workflow for merging logical models with an application to gene regulatory network models

  2025cites this paper
• On Model Reductions of Boolean Networks

  2025cites this paper
• A SAT-based Method for Counting All Singleton Attractors in Boolean Networks

  2025cites this paper
• Algorithms enhancement for optimal triggering control in logical dynamic systems: Leveraging data structure storage

  2025cites this paper
• Machine learning to dissect perturbations in complex cellular systems

  2025cites this paper
• A Multi-Valued Logic Model of T Cell Activation and Cytokine Response

  2025cites this paper
• Fixed points and multistability in monotone Boolean network models

  2025cites this paper
• Unifying multi-sample network inference from prior knowledge and omics data with CORNETO

  2025cites this paper
• Succession-diagram-based Markov chains reveal the attractor landscape of asynchronous Boolean networks

  2025cites this paper
• Targeting NSCLC drug resistance: Systems biology insights into the MALAT1/miR-145-5p axis and Wip1 in regulating ferroptosis and apoptosis.

  2025cites this paper
• Adaptive Data-Knowledge Alignment in Genetic Perturbation Prediction

  2025cites this paper
• Bridging abstract dialectical argumentation and Boolean gene regulation

  2024cites this paper
• Mathematical basis and toolchain for hierarchical optimization of biochemical networks

  2024cites this paper
• LncRNA PTENP1/miR-21/PTEN Axis Modulates EMT and Drug Resistance in Cancer: Dynamic Boolean Modeling for Cell Fates in DNA Damage Response

  2024cites this paper
• Transition Analysis of Stochastic Logical Control Networks

  2024cites this paper
• An open problem: Why are motif-avoidant attractors so rare in asynchronous Boolean networks?

  2024cites this paper
• Parallel Networks to simulate complex multicellular dynamics - A proof of concept with intervertebral disc cell systems

  2024cites this paper
• LM-Merger: A workflow for merging logical models with an application to gene regulation

  2024cites this paper
• Self-consistent signal transduction analysis for modeling context-specific signaling cascades and perturbations

  2024cites this paper
• PseudoCell: A Multivalued Logical Regulatory Network to Investigate Premature Senescence Dynamics and Heterogeneity

  2024cites this paper
• Immediate Neighbours of Monotone Boolean Functions

  2024influential citation
• Automated model refinement using perturbation-observation pairs

  2024cites this paper
• A gene regulatory network model that recovers the abaxial-adaxial polarity in Arabidopsis thaliana leaf primordium

  2024cites this paper
• Hierarchical optimization of biochemical networks

  2024cites this paper
• Quadra-Stable Dynamics of p53 and PTEN in the DNA Damage Response

  2023influential citation
• Using interactive platforms to encode, manage and explore immune-related adverse outcome pathways

  2023cites this paper
• Reduction for asynchronous Boolean networks: elimination of negatively autoregulated components

  2023cites this paper
• A large-scale Boolean model of the rheumatoid arthritis fibroblast-like synoviocytes predicts drug synergies in the arthritic joint

  2023cites this paper
• Structure-based approach to identify driver nodes in ensembles of biologically inspired Boolean networks

  2023cites this paper
• A multiscale mechanistic model of human dendritic cells for in-silico investigation of immune responses and novel therapeutics discovery

  2023cites this paper
• Logic-based modeling and drug repurposing for the prediction of novel therapeutic targets and combination regimens against E2F1-driven melanoma progression

  2023cites this paper
• PTEN expression can be used as a switch between senescence and apoptosis in breast cancer cells according to a logical model of the G2/M checkpoint

  2023cites this paper
• A dynamic Boolean network reveals that the BMI1 and MALAT1 axis is associated with drug resistance by limiting miR-145-5p in non-small cell lung cancer

  2023cites this paper
• Synchronizing Boolean networks asynchronously

  2023cites this paper
• Models of Cell Processes are Far from the Edge of Chaos

  2023cites this paper
• Robustness of biomolecular networks suggests functional modules far from the edge of chaos

  2023cites this paper
• The lncRNA DLX6-AS1/miR-16-5p axis regulates autophagy and apoptosis in non-small cell lung cancer: A Boolean model of cell death

  2023cites this paper
• Modelling Pathogen Response of the Human Immune System in a Reduced State Space

  2023cites this paper
• Logical model of human tolerogenic dendritic cells and their participation in autoimmune disease

  2023cites this paper
• Dynamical Analysis of a Boolean Network Model of the Oncogene Role of lncRNA ANRIL and lncRNA UFC1 in Non-Small Cell Lung Cancer

  2022cites this paper
• A critical analysis on the conception of "Pre-existent gene expression programs" for cell differentiation and development.

  2022cites this paper
• Epigenetic forest and flower morphogenesis

  2022cites this paper
• Dynamical modeling of miR-34a, miR-449a, and miR-16 reveals numerous DDR signaling pathways regulating senescence, autophagy, and apoptosis in HeLa cells

  2022cites this paper
• Patient-specific Boolean models of signalling networks guide personalised treatments

  2022cites this paper
• Calcium Signaling Is Impaired in PTEN-Deficient T Cell Acute Lymphoblastic Leukemia

  2022cites this paper
• Robust Control of Partially Specified Boolean Networks

  2022cites this paper
• An integrated in silico-in vitro approach for identifying therapeutic targets against osteoarthritis

  2022cites this paper
• A Remark on Evolution Equation of Stochastic Logical Dynamic Systems

  2022cites this paper
• On Uniqueness of a Cycle in One Circular Gene Network Model

  2022cites this paper
• Logical modelling of myelofibrotic microenvironment predicts dysregulated progenitor stem cell crosstalk

  2022cites this paper
• On Uniqueness of a Cycle in One Circular Gene Network Model

  2022cites this paper
• microRNA-Mediated Encoding and Decoding of Time-Dependent Signals in Tumorigenesis

  2022cites this paper
• A Boolean Model of the Proliferative Role of the lncRNA XIST in Non-Small Cell Lung Cancer Cells

  2022cites this paper
• Identification of periodic attractors in Boolean networks using a priori information

  2022cites this paper
• Mechanistic studies of MALAT1 in respiratory diseases

  2022cites this paper
• Two heads are better than one: current landscape of integrating QSP and machine learning

  2022cites this paper
• Exploring attractor bifurcations in Boolean networks

  2022cites this paper
• A novel logical model of COVID-19 intracellular infection to support therapies development

  2022cites this paper
• The flowering transition pathways converge into a complex gene regulatory network that underlies the phase changes of the shoot apical meristem in Arabidopsis thaliana

  2022cites this paper
• Modeling signaling pathways in biology with MaBoSS: From one single cell to a dynamic population of heterogeneous interacting cells

  2022cites this paper
• Fundamental Boolean network modelling for childhood acute lymphoblastic leukaemia pathways

  2022cites this paper
• Network analysis reveals that the tumor suppressor lncRNA GAS5 acts as a double-edged sword in response to DNA damage in gastric cancer

  2022cites this paper
• Enhancing the diversity of self-replicating structures using active self-adapting mechanisms

  2022cites this paper
• Attractor separation and signed cycles in asynchronous Boolean networks

  2022cites this paper
• Inference of regulatory networks through temporally sparse data

  2022cites this paper
• Inference of a Boolean Network From Causal Logic Implications

  2022cites this paper
• Building digital twins of the human immune system: toward a roadmap

  2022cites this paper
• Synchronizing Boolean networks asynchronously

  2022cites this paper
• Attractor detection and enumeration algorithms for Boolean networks

  2022cites this paper
• The Wnt pathway can stabilize hybrid phenotypes in the epithelial-mesenchymal transition: A logical modeling approach

  2022cites this paper
• Integrating knowledge and omics to decipher mechanisms via large‐scale models of signaling networks

  2022cites this paper
• Temporary and permanent control of partially specified Boolean networks

  2022cites this paper
• Overleaf Example

  2022cites this paper
• Boolean function metrics can assist modelers to check and choose logical rules.

  2021cites this paper
• In Silico Logical Modelling to Uncover Cooperative Interactions in Cancer

  2021cites this paper
• Oxidative Stress Evaluation in Ischemia Reperfusion Models: Characteristics, Limits and Perspectives

  2021cites this paper
• History and Future Perspectives on the Discipline of Quantitative Systems Pharmacology Modeling and Its Applications

  2021cites this paper
• East-African savanna dynamics: from a knowledge-based model to the possible futures of a social-ecological system

  2021influential citation
• Qualitative Modeling, Analysis and Control of Synthetic Regulatory Circuits.

  2021cites this paper
• Structure-based approach to identifying small sets of driver nodes in biological networks.

  2021cites this paper
• A logical network-based drug-screening platform for Alzheimer’s disease representing pathological features of human brain organoids

  2021cites this paper
• Model-checking ecological state-transition graphs

  2021cites this paper
• Inference of an Integrative, Executable Network for Rheumatoid Arthritis Combining Data-Driven Machine Learning Approaches and a State-of-the-Art Mechanistic Disease Map

  2021cites this paper
• Journal Pre-proof Fixing monotone Boolean networks asynchronously

  2021cites this paper
• Logic-Based Modeling and Virtual Drug Screening for the Prediction of Novel Therapeutic Targets and Combination Regimens Against E2F1-driven Melanoma Progression

  2021cites this paper
• A multi-approach and multi-scale platform to model CD4+ T cells responding to infections

  2021cites this paper
• An integrated in silico-in vitro approach for identification of therapeutic drug targets for osteoarthritis

  2021cites this paper
• Patient-specific Boolean models of signaling networks guide personalized treatments

  2021cites this paper