29 search results - page 1 / 6 » Genet: A Tool for the Synthesis and Mining of Petri Nets |
ACSD
2009
IEEE
13 years 11 months ago
2009
IEEE
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...
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
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...
APN
2008
Springer
13 years 6 months ago
2008
Springer
This paper presents an algorithm for the synthesis of bounded Petri nets from transition systems. A bounded Petri net is always provided in case it exists. Otherwise, the events ar...