Translating Workflow Nets to Process Trees: An Algorithmic Approach
Since their introduction, process trees have been frequently used as a process modeling formalism in many process mining algorithms. A process tree is a (mathematical) tree-based model of a process, in which internal vertices represent behavioral control-flow relations and leaves represent process a...
Main Authors: | Sebastiaan J. van Zelst, Sander J. J. Leemans |
---|---|
Format: | Article |
Language: | English |
Published: |
MDPI AG
2020-11-01
|
Series: | Algorithms |
Subjects: | |
Online Access: | https://www.mdpi.com/1999-4893/13/11/279 |
Similar Items
-
Verifying the Correctness of Workflow Systems Based on Workflow Net With Data Constraints
by: Yaqiong He, et al.
Published: (2018-01-01) -
On the Decidability of Soundness of Workflow Nets with an Unbounded Resource
by: V. A. Bashkin, et al.
Published: (2013-08-01) -
An analytical method for well-formed workflow/Petri net verification of classical soundness
by: Clempner Julio
Published: (2014-12-01) -
Using UML and Petri nets for visualization of business document flow
by: Ivana Rábová
Published: (2012-01-01) -
HTSN: a complex workflow model based on colored Petri net
by: Haiping Zhu, et al.
Published: (2004-04-01)