# mpbn: a simple tool for efficient edition and analysis of elementary properties of Boolean networks

arXiv: https://arxiv.org/abs/2403.06255 · HTML: https://mlsanity.com/paper/2403.06255/

## Key facts

- Cited by 2 papers in the map (data through 14 Oct 2026).
- First posted on arXiv 10 Mar 2024.

## Built on by (most cited first, 2 of 2)

- [On the Boolean Network Theory of Datalog^neg](https://mlsanity.com/paper/2504.15417/) (2025)
- [BAss: Symbolic Reasoning in Abstract Dialectical Frameworks](https://mlsanity.com/paper/2604.27576/) (2026)

## Abstract (arXiv)

The tool mpbn offers a Python programming interface for an easy interactive editing of Boolean networks and the efficient computation of elementary properties of their dynamics, including fixed points, trap spaces, and reachability properties under the Most Permissive update mode. Relying on Answer-Set Programming logical framework, we show that mpbn is scalable to models with several thousands of nodes and is one of the best-performing tool for computing minimal and maximal trap spaces of Boolean networks, a key feature for understanding and controling their stable behaviors. The tool is available at https://github.com/bnediction/mpbn.