Process Equivalence: Comparing Two Process Models Based on Observed Behavior
- 1 January 2006
- conference paper
- conference paper
- Published by Springer Science and Business Media LLC in Lecture Notes in Computer Science
- p. 129-144
- https://doi.org/10.1007/11841760_10
Abstract
No abstract availableThis publication has 14 references indexed in Scilit:
- Process‐Aware Information SystemsPublished by Wiley ,2005
- Genetic Process MiningLecture Notes in Computer Science, 2005
- The ProM Framework: A New Era in Process Mining Tool SupportLecture Notes in Computer Science, 2005
- A Behavioural Pseudometric for Metric Labelled Transition SystemsLecture Notes in Computer Science, 2005
- Workflow mining: discovering process models from event logsIEEE Transactions on Knowledge and Data Engineering, 2004
- Metrics for labelled Markov processesTheoretical Computer Science, 2004
- Inheritance of workflows: an approach to tackling problems related to changeTheoretical Computer Science, 2002
- Validation of Process Models by Construction of Process NetsPublished by Springer Science and Business Media LLC ,2000
- Branching time and abstraction in bisimulation semanticsJournal of the ACM, 1996
- Some equivalence results for free choice nets and simple nets and on the periodicity of live free choice netsLecture Notes in Computer Science, 1983