@inproceedings{DBLP:conf/apn/PegoraroUA21,
	author    = {Marco Pegoraro and
	Merih Seran Uysal and
	Wil M. P. van der Aalst},
	editor    = {Didier Buchs and
	Josep Carmona},
	title     = {{PROVED:} {A} Tool for Graph Representation and Analysis of Uncertain
	Event Data},
	booktitle = {Application and Theory of Petri Nets and Concurrency - 42nd International
	Conference, {PETRI} {NETS} 2021, Virtual Event, June 23-25, 2021,
	Proceedings},
	series    = {Lecture Notes in Computer Science},
	volume    = {12734},
	pages     = {476--486},
	publisher = {Springer},
	year      = {2021},
	doi       = {10.1007/978-3-030-76983-3_24},
	timestamp = {Tue, 13 Jul 2021 13:27:56 +0200},
	biburl    = {https://dblp.org/rec/conf/apn/PegoraroUA21.bib},
	bibsource = {dblp computer science bibliography, https://dblp.org}
}