@misc{indiciae2fbed62d0a09,
  title = {Deciding Reachability and the Covering Problem with Diagnostics for Sound Acyclic Free-Choice Workflow Nets},
  author = {Thomas M. Prinz and Christopher T. Schwanen and Wil M. P. van der Aalst},
  year = {2026},
  url = {https://arxiv.org/abs/2602.02447},
  note = {Source identifier: 2602.02447}
}