@misc{indiciae3c6e54903688,
  title = {Automated simulation and verification of process models discovered by process mining},
  author = {Ivona Zakarija and Frano Škopljanac-Mačina and Bruno Blašković},
  year = {2020},
  doi = {10.1080/00051144.2020.1734716},
  url = {https://arxiv.org/abs/2011.01646},
  note = {Source identifier: 2011.01646}
}