29 search results - page 1 / 6 » Genet: A Tool for the Synthesis and Mining of Petri Nets |
ACSD
2009
IEEE
15 years 4 months ago
2009
IEEE
BPM
2008
Springer
14 years 11 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
14 years 11 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
14 years 9 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...
91
Voted
APN
2008
Springer
14 years 11 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...