Journal ArticleDOI
The relationship between workflow graphs and free-choice workflow nets
TLDR
This paper provides new results on the translation between workflow graphs and free-choice workflow nets and provides various techniques to replace inclusive Or-joins by subgraphs without inclusive logic, thus giving rise to translations from workflow graphs to free- Choice nets.About:
This article is published in Information Systems.The article was published on 2015-01-01. It has received 42 citations till now. The article focuses on the topics: Workflow management system & Workflow technology.read more
Citations
More filters
Journal ArticleDOI
Automated Discovery of Process Models from Event Logs: Review and Benchmark
Adriano Augusto,Raffaele Conforti,Marlon Dumas,Marcello La Rosa,Fabrizio Maria Maggi,Andrea Marrella,Massimo Mecella,Allar Soo +7 more
TL;DR: The results highlight gaps and unexplored tradeoffs in the field, including the lack of scalability of some methods and a strong divergence in their performance with respect to the different quality metrics used.
Posted Content
Automated Discovery of Process Models from Event Logs: Review and Benchmark
Adriano Augusto,Raffaele Conforti,Marlon Dumas,Marcello La Rosa,Fabrizio Maria Maggi,Andrea Marrella,Massimo Mecella,Allar Soo +7 more
TL;DR: In this paper, a systematic review and comparative evaluation of automated process discovery methods, using an open-source benchmark and covering twelve publicly-available real-life event logs, twelve proprietary real life event logs and nine quality metrics, is presented.
Journal ArticleDOI
BPMN Miner
TL;DR: BPMN Miner is able to detect and filter out noise in the event log arising for example from data entry errors, missing event records or infrequent behavior and are more accurate and less complex than those derived with flat process discovery techniques.
Journal ArticleDOI
Process mining using BPMN: relating event logs and process models
Anna A. Kalenkova,Wil M. P. van der Aalst,Wil M. P. van der Aalst,Irina A. Lomazova,Vladimir A. Rubin +4 more
TL;DR: In this article, the authors describe and justify robust control flow conversion algorithms, which provide the basis for more advanced BPMN-based discovery and conformance checking algorithms, such as Petri nets, causal nets and process trees.
Journal ArticleDOI
Diagnosing behavioral differences between business process models
TL;DR: A technique for diagnosing behavioral differences between process models based on a translation from process models to event structures and relying on the theory of complete unfolding prefixes enables the diagnosis of behavioral differences in terms of activity repetition and causal relations that hold in one model but not in the other.
References
More filters
Journal ArticleDOI
Petri nets: Properties, analysis and applications
TL;DR: The author proceeds with introductory modeling examples, behavioral and structural properties, three methods of analysis, subclasses of Petri nets and their analysis, and one section is devoted to marked graphs, the concurrent system model most amenable to analysis.
Web Services Business Process Execution Language Version 2.0
Charlton Barreto,Vaughn Bullard,Thomas Erl,John Evdemon,Diane Jordan,Khanderao Kand,Dieter König,Simon Moser,Ralph Stout,Ron Ten-Hove,Ivana Trickovic,Danny van der Rijn,Alex Yiu +12 more
TL;DR: The continuity of the basic conceptual model between Abstract and Executable Processes in WSBPEL makes it possible to export and import the public aspects embodied in Abstract Processes as process or role templates while maintaining the intent and structure of the observable behavior.
Journal ArticleDOI
Workflow Patterns
TL;DR: In this paper, the authors describe a number of workflow patterns addressing what they believe identify comprehensive workflow functionality and provide the basis for an in-depth comparison of commercial workflow management systems.
Journal ArticleDOI
A fast algorithm for finding dominators in a flowgraph
Thomas Lengauer,Robert E. Tarjan +1 more
TL;DR: A fast algorithm for finding dominators in a flowgraph is presented, which beat the straightforward algorithm and the bit vector algorithm on all but the smallest graphs tested.
Book
Free choice Petri nets
Jörg Desel,Javier Esparza +1 more
TL;DR: In this article, the authors present analysis techniques for petri nets, including S-systems and T-Systems, and discuss the coverability theorems of Petri nets.