Techniques to discover Petri nets from event data assume precisely one case identifier per
event. These case identifiers are used to correlate events, and the resulting discovered Petri …

Process mining includes the automated discovery of processes from event logs. Based on
observed events (eg, activities being executed or messages being exchanged) a process …

In this paper we give an overview, how to apply region based methods for the synthesis of
Petri nets from languages to process mining. The research domain of process mining aims …

Processes are an integral part of nearly all organizations, driving their daily operations and
support activities. Increasingly, these business processes are supported by some …

In this paper we present two algorithms that effectively synthesize a finite place/transition
Petri net (p/t-net) froma finite set of labeled partial orders (a finite partial language). The …

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 …

In this paper we present an algorithm to synthesize a finite unlabelled place/transition Petri
net (p/t-net) from a possibly infinite partial language, which is given by a term over a finite set …

The aim of this tool paper is twofold: First we show that VipTool [9, 2] can now synthesize
Petri nets from partially ordered runs. To integrate this extension and further new …

We present a novel, operational, formal model for scenario-based modeling with Petri nets.
A scenario-based model describes the system behavior in terms of partial runs, called …

Petri nets have become a tremendously important mathematical and graphical tool in
modeling and performance evaluation of real systems with discrete events that are …