GINsim 3.1: Qualitative modelling and dynamical analysis of logical regulatory networks
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.
Related
- Joint inference of paired dynamical gene regulatory networks reveals distinct cell-state landscapes of neutrophil reprogramming
- Uncertainty Quantification in Stochastic Dynamical Gene Regulatory Networks
- mTOR disrupts cerebrovascular RNA regulatory networks in Alzheimers disease
- A comparison of artificial neural networks and partial least squares modelling for the rapid detection of the microbial spoilage of beef fillets based on Fourier transform infrared spectral fingerprints
- Anthocyanins in woody ornamental plants: biosynthesis, regulatory networks, and trade-offs in stress adaptation
BibTeX
@misc{tichit2026ginsim,
title = {{GINsim 3.1: Qualitative modelling and dynamical analysis of logical regulatory networks}},
author = {Laurent Tichit and Dominique Benielli and Olivier Chabrol and Denis Thieffry and Claudine Chaouiya and Pedro T. Monteiro},
howpublished = {arXiv},
year = {2026},
month = nov,
doi = {10.48550/arxiv.2611.04109},
eprint = {2611.04109},
archivePrefix = {arXiv},
url = {https://arxiv.org/abs/2611.04109},
note = {CC BY-NC-SA 4.0},
}
RIS
TY - UNPB
TI - GINsim 3.1: Qualitative modelling and dynamical analysis of logical regulatory networks
AU - Laurent Tichit
AU - Dominique Benielli
AU - Olivier Chabrol
AU - Denis Thieffry
AU - Claudine Chaouiya
AU - Pedro T. Monteiro
PY - 2026
DA - 2026/11/03
PB - arXiv
DO - 10.48550/arxiv.2611.04109
UR - https://arxiv.org/abs/2611.04109
AB - 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.
ER -