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

Authors:

Publisher website

16 June 2021

book chapter
Published by Springer Nature

p. 476-486
DOI:10.1007/978-3-030-76983-3_24

Abstract

No abstract available

Keywords

All Related Versions

This publication has 12 references indexed in Scilit:

Conformance checking over uncertain event data
Information Systems, 2021
Mining Uncertain Event Data in Process Mining
2019
Discovering Process Models from Uncertain Event Data
2019
Data Science in Action
2016
Genet: A Tool for the Synthesis and Mining of Petri Nets
2009
Synthesis of Petri Nets from Scenarios with VipTool
2008
Graphviz— Open Source Graph Drawing Tools
2002
Modelling with Generalized Stochastic Petri Nets
ACM SIGMETRICS Performance Evaluation Review, 1998
Interval timed coloured petri nets and their analysis
1993
Modeling and verification of time dependent systems using time Petri nets
IEEE Transactions on Software Engineering, 1991