30 search results - page 1 / 6 » Process Mining and Petri Net Synthesis |
BPM
2006
Springer
13 years 6 months ago
2006
Springer
The theory of regions and the algorithms for synthesizing a Petri net model from a transition system, which are based on this theory, have interesting practical applications
BPM
2007
Springer
13 years 11 months ago
2007
Springer
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 at...
BPM
2008
Springer
13 years 6 months ago
2008
Springer
The paper presents a new method for the synthesis of Petri nets from event logs in the area of Process Mining. The method derives a bounded Petri net that over-approximates the beh...
ISTA
2008
13 years 6 months ago
2008
This contribution suggests a novel approach for a systematic generation of a process model in an informal environment. It is based on the claim that the knowledge about the process...
TOPNOC
2008
13 years 4 months ago
2008
State spaces are commonly used representations of system behavior. A state space may be derived from a model of system behavior but can also be obtained through process mining. For...