@misc{indiciae34e421ebf7d1,
  title = {BPMN Analyzer 2.0: Instantaneous, Comprehensible, and Fixable Control Flow Analysis for Realistic BPMN Models},
  author = {Tim Kräuter and Patrick Stünkel and Adrian Rutle and Yngve Lamo and Harald König},
  year = {2024},
  url = {https://arxiv.org/abs/2408.06028},
  note = {Source identifier: 2408.06028}
}