How to synthesize nets from languages: a survey
Robert Lorenz,Sebastian Mauser,Gabriel Juhás +2 more
- pp 637-647
Reads0
Chats0
TLDR
A framework for region-based synthesis of Petri nets from languages which integrates almost all known approaches and fills several remaining gaps in literature is presented.Abstract:
In this paper we present a survey on methods for the synthesis of Petri nets from behavioral descriptions given as languages. We consider place/transition Petri nets, elementary Petri nets and Petri nets with inhibitor arcs. For each net class we consider classical languages, step languages and partial languages as behavioral description. All methods are based on the notion of regions of languages. We identify two different types of regions and two different principles of computing from the set of regions of a language a finite Petri net generating this language. For finite or regular languages almost each combination of Petri net class, language type, region type and computation principle can be considered to compute such a net. Altogether, we present a framework for region-based synthesis of Petri nets from languages which integrates almost all known approaches and fills several remaining gaps in literature.read more
Citations
More filters
Journal ArticleDOI
Process mining : a two-step approach to balance between underfitting and overfitting
van der Wmp Wil Aalst,Vladimir A. Rubin,Hmw Eric Verbeek,van Bf Boudewijn Dongen,Ekkart Kindler,CW Christian Günther +5 more
TL;DR: The two-step process mining approach, implemented in the context of ProM, overcomes many of the limitations of traditional approaches and enables the user to control the balance between “overfitting” and “underfitting’.
Book ChapterDOI
Process Discovery using Integer Linear Programming
TL;DR: In this paper, the authors present a process discovery algorithm using concepts taken from the language-based theory of regions, a well-known Petri net research area and identify a number of shortcomings of this theory from the process discovery perspective, and provide solutions based on integer linear programming.
Process mining : A two-step approach to balance between underfitting and overfitting
van der Wmp Wil Aalst,Vladimir A. Rubin,Hmw Eric Verbeek,van Bf Boudewijn Dongen,Ekkart Kindler,CW Christian Günther +5 more
TL;DR: In this article, the authors propose a two-step approach, using a configurable approach, a transition system is constructed and then, using the "theory of regions", the model is synthesized.
Book ChapterDOI
Process Mining: Overview and Outlook of Petri Net Discovery Algorithms
TL;DR: An overview of different Petri net based discovery algorithms from both the area of process mining and the theory of regions is provided, which encompasses five categories of algorithms, for which common assumptions and problems are indicated.
Book ChapterDOI
Discovering Block-Structured Process Models from Incomplete Event Logs
TL;DR: In this article, the authors study the impact of incomplete logs on process discovery and introduce probabilistic behavioral relations that are less sensitive to incompleteness, and exploit these relations to provide a more robust process discovery algorithm.
References
More filters
Journal ArticleDOI
Workflow mining: discovering process models from event logs
TL;DR: A new algorithm is presented to extract a process model from a so-called "workflow log" containing information about the workflow process as it is actually being executed and represent it in terms of a Petri net.
Journal ArticleDOI
Workflow mining: a survey of issues and approaches
W.M.P. van der Aalst,B. F. van Dongen,Joachim Herbst,Laura Maruster,G. Schimm,A.J.M.M. Weijters +5 more
TL;DR: This paper introduces the concept of workflow mining and presents a common format for workflow logs, and discusses the most challenging problems and present some of the workflow mining approaches available today.
Book
Petri Net Synthesis for Discrete Event Control of Manufacturing Systems
MengChu Zhou,Frank DiCesare +1 more
TL;DR: This paper presents a meta-synthesis of Petri Nets using FMS as a guide for the construction of parallel Mutual Exclusions in response to the challenge of discrete event control of FMS.
Journal Article
Theory of regions
Eric Badouel,Philippe Darondeau +1 more
TL;DR: The synthesis problem for nets consists in deciding whether a given graph is isomorphic to the marking graph of some net and then constructing it as discussed by the authors, and this problem has been solved in the literature for various types of nets ranging from elementary nets to Petri nets.