TY  - RPRT
TI  - Automated simulation and verification of process models discovered by process mining
AU  - Ivona Zakarija
AU  - Frano Škopljanac-Mačina
AU  - Bruno Blašković
PY  - 2020
DO  - 10.1080/00051144.2020.1734716
UR  - https://arxiv.org/abs/2011.01646
ID  - 2011.01646
ER  -