pyModRev: a Python Tool for Model Revision of Boolean Networks

2026-05-18

AI Summary

This work addresses the challenge of maintaining consistency in Boolean biological network models when integrating new experimental data, a task for which existing revision tools are scarce and difficult to integrate into established workflows. To overcome these limitations, we present pyModRev, an open-source Python-based tool that supports consistency checking against both steady-state and time-series data and automatically computes minimal repair strategies using constraint solving. Building upon its predecessor ModRev, pyModRev introduces enhanced functionality, including support for multiple model input formats, joint validation under diverse update schemes, and seamless integration via distribution as a PyPI package. These advances significantly improve the efficiency and flexibility of model curation and validation within the logical modeling community.

Abstract

Biological regulatory networks can be represented by computational models, which allow the study and analysis of biological behaviours, therefore providing a better understanding of a given biological process. However, as new information is acquired, biological models may need to be revised in order to also account for this new information. Current model revision tools are scarce and often lack the flexibility to integrate with broader analysis workflows. Here, we present pyModRev, an enhanced iteration of the model revision tool ModRev, capable of verifying the consistency of Boolean regulatory models, and finding minimal repairs in case of inconsistency. pyModRev supports model validation against both steady state observations as well as time-series data, being able to consider different update schemes simultaneously. pyModRev supports different model formats, and is available as a Python package in PyPI, for easy integration with other model analysis tools, significantly improving accessibility and utility for the logical modelling community.

Problem

• Boolean networks
• model revision
• biological regulatory networks
• model consistency
• computational modeling

Innovation

• Boolean networks
• model revision
• minimal repair
• Python package
• logical modeling