@misc{indiciaea13c7b4929ce,
  title = {Automating Execution and Verification of BPMN+DMN Business Processes},
  author = {Giuseppe Della Penna and Igor Melatti},
  year = {2025},
  url = {https://arxiv.org/abs/2512.15214},
  note = {Source identifier: 2512.15214}
}