# DB-Nets: on The Marriage of Colored Petri Nets and Relational Databases

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

## Key facts

- Cited by 3 papers in the map (data through 14 Oct 2026).
- First posted on arXiv 11 Nov 2016.

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

- [Precision and Fitness in Object-Centric Process Mining](https://mlsanity.com/paper/2110.05375/) (2021)
- [CoCoMoT: Conformance Checking of Multi-Perspective Processes via SMT (Extended Version)](https://mlsanity.com/paper/2103.10507/) (2021)
- [OPerA: Object-Centric Performance Analysis](https://mlsanity.com/paper/2204.10662/) (2022)

## Abstract (arXiv)

The integrated management of business processes and mas- ter data is being increasingly considered as a fundamental problem, by both the academia and the industry. In this position paper, we focus on the foundations of the problem, arguing that contemporary approaches struggle to find a suitable equilibrium between data- and process-related aspects. We then propose db-nets, a new formal model that balances such two pillars through the marriage of colored Petri nets and relational databases. We invite the research community to build on this model, discussing its potential in modeling, formal verification, and simulation.