Construction of Process Models from Example Runs

Authors:
Robin Bergenthum;Jörg Desel;Sebastian Mauser;Robert Lorenz
Affiliations:
Department of Applied Computer Science, Catholic University of Eichstätt-Ingolstadt, Eichstätt, Germany 85072;Department of Applied Computer Science, Catholic University of Eichstätt-Ingolstadt, Eichstätt, Germany 85072;Department of Applied Computer Science, Catholic University of Eichstätt-Ingolstadt, Eichstätt, Germany 85072;Department of Computer Science, University of Augsburg, Augsburg, Germany 86159
Venue:
Transactions on Petri Nets and Other Models of Concurrency II
Year:
2009

Citing 16
Cited 3

Object-oriented software engineering

Object-oriented software engineering
Workflow management: models, methods, and systems

Workflow management: models, methods, and systems
An Integrated Formal Model of Scenarios Based on Statecharts

Proceedings of the 5th European Software Engineering Conference
Theory of Regions

Lectures on Petri Nets I: Basic Models, Advances in Petri Nets, the volumes are based on the Advanced Course on Petri Nets
Come, Let's Play: Scenario-Based Programming Using LSC's and the Play-Engine

Come, Let's Play: Scenario-Based Programming Using LSC's and the Play-Engine
Process Aware Information Systems: Bridging People and Software Through Process Technology

Process Aware Information Systems: Bridging People and Software Through Process Technology
An evaluation of scenario notations and construction approaches for telecommunication systems development

Telecommunications Systems - Modeling, analysis, design and management
A comparative survey of scenario-based to state-based model synthesis approaches

Proceedings of the 2006 international workshop on Scenarios and state machines: models, algorithms, and tools
Finding Structure in Unstructured Processes: The Case for Process Mining

ACSD '07 Proceedings of the Seventh International Conference on Application of Concurrency to System Design
Synthesis of Petri Nets from Finite Partial Languages

ACSD '07 Proceedings of the Seventh International Conference on Application of Concurrency to System Design
Business Process Management: Concepts, Languages, Architectures

Business Process Management: Concepts, Languages, Architectures
How to synthesize nets from languages: a survey

Proceedings of the 39th conference on Winter simulation: 40 years! The best is yet to come
Synthesis of Petri Nets from Finite Partial Languages

Fundamenta Informaticae - Application of Concurrency to System Design, the Sixth Special Issue
Modelling and validation with VipTool

BPM'03 Proceedings of the 2003 international conference on Business process management
Process mining based on regions of languages

BPM'07 Proceedings of the 5th international conference on Business process management
Can i execute my scenario in your net? viptool tells you!

ICATPN'06 Proceedings of the 27th international conference on Applications and Theory of Petri Nets and Other Models of Concurrency

Exploiting Inductive Logic Programming Techniques for Declarative Process Mining

Transactions on Petri Nets and Other Models of Concurrency II
Learning workflow petri nets

PETRI NETS'10 Proceedings of the 31st international conference on Applications and Theory of Petri Nets
Learning Workflow Petri Nets

Fundamenta Informaticae - Applications and Theory of Petri Nets and Other Models of Concurrency, 2010

Quantified Score

Hi-index	0.00

Visualization

Abstract

This contribution suggests a novel approach for a systematic and automatic generation of process models from example runs. The language used for process models is place/transition Petri nets, the language used for example runs is labelled partial orders. The approach adopts techniques from Petri net synthesis and from process mining. In addition to a formal treatment of the approach, a case study is presented and implementation issues are discussed.