PROVED: A Tool for Graph Representation and Analysis of Uncertain Event Data

Marco Pegoraro, Merih Seran Uysal, Wil M. P. van der Aalst. PROVED: A Tool for Graph Representation and Analysis of Uncertain Event Data. In Didier Buchs, Josep Carmona, editors, Application and Theory of Petri Nets and Concurrency - 42nd International Conference, PETRI NETS 2021, Virtual Event, June 23-25, 2021, Proceedings. Volume 12734 of Lecture Notes in Computer Science, pages 476-486, Springer, 2021. [doi]

@inproceedings{PegoraroUA21,
  title = {PROVED: A Tool for Graph Representation and Analysis of Uncertain Event Data},
  author = {Marco Pegoraro and Merih Seran Uysal and Wil M. P. van der Aalst},
  year = {2021},
  doi = {10.1007/978-3-030-76983-3_24},
  url = {https://doi.org/10.1007/978-3-030-76983-3_24},
  researchr = {https://researchr.org/publication/PegoraroUA21},
  cites = {0},
  citedby = {0},
  pages = {476-486},
  booktitle = {Application and Theory of Petri Nets and Concurrency - 42nd International Conference, PETRI NETS 2021, Virtual Event, June 23-25, 2021, Proceedings},
  editor = {Didier Buchs and Josep Carmona},
  volume = {12734},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-030-76983-3},
}