| 2009 |
|---|
| 13 | EE | Robin Bergenthum,
Jörg Desel,
Sebastian Mauser,
Robert Lorenz:
Construction of Process Models from Example Runs.
T. Petri Nets and Other Models of Concurrency 2: 243-259 (2009) |
| 12 | EE | Robert Lorenz,
Gabriel Juhás,
Robin Bergenthum,
Jörg Desel,
Sebastian Mauser:
Executability of scenarios in Petri nets.
Theor. Comput. Sci. 410(12-13): 1190-1216 (2009) |
| 2008 |
|---|
| 11 | EE | Robin Bergenthum,
Jörg Desel,
Robert Lorenz,
Sebastian Mauser:
Synthesis of Petri nets from infinite partial languages.
ACSD 2008: 170-179 |
| 10 | EE | Robin Bergenthum,
Sebastian Mauser:
Synthesis of Petri Nets from Infinite Partial Languages with VipTool.
AWPN 2008: 81-86 |
| 9 | | Robin Bergenthum,
Jörg Desel,
Andreas Harrer,
Sebastian Mauser:
Learnflow Mining.
DeLFI 2008: 269-280 |
| 8 | EE | Robin Bergenthum,
Robert Lorenz,
Sebastian Mauser:
Faster Unfolding of General Petri Nets Based on Token Flows.
Petri Nets 2008: 13-32 |
| 7 | EE | Robin Bergenthum,
Jörg Desel,
Robert Lorenz,
Sebastian Mauser:
Synthesis of Petri Nets from Scenarios with VipTool.
Petri Nets 2008: 388-398 |
| 6 | EE | Robin Bergenthum,
Jörg Desel,
Robert Lorenz,
Sebastian Mauser:
Synthesis of Petri Nets from Finite Partial Languages.
Fundam. Inform. 88(4): 437-468 (2008) |
| 2007 |
|---|
| 5 | EE | Robert Lorenz,
Robin Bergenthum,
Jörg Desel,
Sebastian Mauser:
Synthesis of Petri Nets from Finite Partial Languages.
ACSD 2007: 157-166 |
| 4 | EE | Robert Lorenz,
Sebastian Mauser,
Robin Bergenthum:
Testing the executability of scenarios in general inhibitor nets.
ACSD 2007: 167-176 |
| 3 | EE | Robin Bergenthum,
Jörg Desel,
Robert Lorenz,
Sebastian Mauser:
Process Mining Based on Regions of Languages.
BPM 2007: 375-383 |
| 2 | EE | Robert Lorenz,
Sebastian Mauser,
Robin Bergenthum:
Theory of Regions for the Synthesis of Inhibitor Nets from Scenarios.
ICATPN 2007: 342-361 |
| 2006 |
|---|
| 1 | EE | Robin Bergenthum,
Jörg Desel,
Gabriel Juhás,
Robert Lorenz:
Can I Execute My Scenario in Your Net? VipTool Tells You!
ICATPN 2006: 381-390 |
