arXiv Science⌕ Search
Home/Archive/arXiv

arXiv · 2611.04109

GINsim 3.1: Qualitative modelling and dynamical analysis of logical regulatory networks

Laurent Tichit·Dominique Benielli·Olivier Chabrol·Denis Thieffry·Claudine Chaouiya·Pedro T. Monteiro
View original source ↗Read source document ↗Export metadata ↓

Abstract

GINsim is a software for the definition and dynamical analysis of qualitative (Boolean and multi-valued) models of biological regulatory networks. Building on its modular architecture, based on the MDDlib decision-diagram and bioLQM model-manipulation libraries, GINsim version 3.1 introduces new functionalities aimed at the analysis of large logical models: the symbolic computation of trap-spaces, the Booleanisation of multilevel models and the reversal of model dynamics. GINsim 3.1 also extends the estimation of attractor reachability (Monte Carlo and Avatar algorithms), the computation of stable states, as well as model reduction functionalities. Analyses can be applied to perturbed models, and scripted, in particular from the CoLoMoTo interactive notebook. We illustrate the main functionalities of GINsim on a reference multilevel model of regulatory network that control the mammalian cell cycle, including the computation of its stable states and cyclic attractor, the assessment of their reachability, and the identification of the regulatory circuits driving multistability and oscillations. GINsim is freely available under GPL-3.0 at https://ginsim.github.io/, runs on any platform supporting Java, and is interoperable with the other tools of the CoLoMoTo community. Its website provides installation instructions and reference documentation, as well as a repository of Boolean and multilevel logical models.

Explore related subjects

q-bio.MN

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Laurent Tichit, Dominique Benielli, Olivier Chabrol, Denis Thieffry, Claudine Chaouiya, Pedro T. Monteiro. 2026-11-03. GINsim 3.1: Qualitative modelling and dynamical analysis of logical regulatory networks. https://arxiv.org/abs/2611.04109

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

arXiv2026

Synergy and Complementarity: The Generative Basis of Chemical Organizations

Identifying structural features ensuring the persistence of a reaction network is fundamental for understanding the evolution and complexification of biological entities. By defining organizations as subsets of species that are closed and self-maintaining, Chemical Organization Theory (COT) shows that organizations enable filtering out the regions of the phase space where attractors can exist. Despite various theoretical explorations current methods to compute the organizations face unclear combinatorial challenges. In this article, we first perform a systematic study of such combinatorial challenges and identify a criteria of productive novelty and irreducibility that separate relevant from redundant combinations. Second, we identify the minimal building blocks that shall be combined to build organizations, called elementary reaction closures (ERC), and characterize them as a hierarchy. Third, we show that all persistent modules can be generated as combination of ERCs only, and operationalize two properties among ERCs, synergy and complementarity, that define a sufficient criteria to build such generators in a minimal way. Fourth we show that every relevant persistent module can be built from such minimal sequences of ERCs. We next show that the synergies and complementarities we use to generate persistent modules not only scale radically slower than usual combinatorial methods. We quantify these structures across $438$ biological reaction networks from the BioModels and BiGG databases. The proportion of fundamental synergies and complementarities among all ERC pairs shrinks as networks grow even as raw counts increase, confirming that larger biological networks achieve persistence through a progressively smaller and more selective sets. We do not prescribe algorithms to compute organizations, discuss how algorithms based on our results could permit applying COT.

q-bio.MN↗
arXiv2026

Transmission and filtering of stochastic rhythms in bursty gene expression

How stochastic rhythms in upstream regulatory signals are transmitted to downstream gene expression is a fundamental question in systems biology. Although experiments have shown that molecular degradation strongly influences downstream rhythmic responses, a general quantitative theory explaining how degradation, stochastic bursting, and upstream timing variability jointly govern rhythm transmission remains lacking. Here we develop a general analytical framework based on a martingale-based orthogonal decomposition, applicable to arbitrarily complex upstream dynamics, including memory effects. We derive exact autocorrelation and power-spectrum transmission laws, establish an oscillation-efficiency contraction principle, and identify a critical degradation rate that provides a necessary and sufficient condition for stochastic rhythm transmission. An explicit rhythm-transmission relation reveals that increasing burst frequency and modulation depth promotes rhythm transmission, whereas greater variability in upstream cycle duration suppresses it. In particular, increasing burst size leaves oscillation efficiency unchanged. The predicted degradation threshold correctly separates all ten pulsing and nonpulsing p53 target proteins reported in previous experiments. These results provide a theoretical foundation for understanding how cells selectively preserve or integrate rhythmic regulatory signals.

q-bio.MN↗
arXiv2026

Generative discovery of chemical reaction networks

Chemical kinetics determines molecular stability, reaction selectivity and the evolution of reacting mixtures, but discovering the underlying reaction networks remains challenging. Here we introduce ReactNexus, a generative framework for kinetic-guided network exploration starting solely from reactant graphs. Generative models propose transition states and predict the full reaction trajectories connecting reactants and products, while calculations using a machine-learned interatomic potential verify connectivity and evaluate electronic barriers. On an in-distribution benchmark of 10,000 generated candidates, 80.8% connect to the input reactant after density functional theory (DFT) optimization and intrinsic reaction coordinate verification. The resulting networks uncover lower-barrier cooperative pathways and competition between catalyst release and catalyst-bound branches. In the examined carbocation cascades, coverage of known product precursors saturates after limited expansion and distinct entries converge onto shared intermediates, indicating a compact accessible reaction space. Network-derived candidate structures further assist mass-spectral interpretation of a complex nucleophilic aromatic substitution reaction. Together, these results establish a generative approach to reaction-network discovery and mechanistic analysis without predefined products or reaction templates.

q-bio.MN↗