@misc{indiciae3c3cac08f525,
  title = {CPN-Py: A Python-Based Tool for Modeling and Analyzing Colored Petri Nets},
  author = {Alessandro Berti and Wil M. P. van der Aalst},
  year = {2025},
  url = {https://arxiv.org/abs/2506.12238},
  note = {Source identifier: 2506.12238}
}