×
Author ID: bergenthum.robin Recent zbMATH articles by "Bergenthum, Robin"
Published as: Bergenthum, Robin

Publications by Year

Citations contained in zbMATH Open

8 Publications have been cited 37 times in 22 Documents Cited by Year
Synthesis of Petri nets from finite partial languages. Zbl 1167.68037
Bergenthum, Robin; Desel, Jörg; Lorenz, Robert; Mauser, Sebastian
21
2008
Synthesis of Petri nets from term based representations of infinite partial languages. Zbl 1217.68147
Bergenthum, Robin; Desel, Jörg; Mauser, Sebastian; Lorenz, Robert
5
2009
Executability of scenarios in Petri nets. Zbl 1172.68044
Lorenz, Robert; Juhás, Gabriel; Bergenthum, Robin; Desel, Jörg; Mauser, Sebastian
3
2009
Faster unfolding of general Petri nets based on token flows. Zbl 1143.68471
Bergenthum, Robin; Lorenz, Robert; Mauser, Sebastian
3
2008
Comparison of different algorithms to synthesize a Petri net from a partial language. Zbl 1266.68136
Bergenthum, Robin; Desel, Jörg; Mauser, Sebastian
2
2009
Theory of regions for the synthesis of inhibitor nets from scenarios. Zbl 1226.68064
Lorenz, Robert; Mauser, Sebastian; Bergenthum, Robin
1
2007
Verification of scenarios in Petri nets using compact tokenflows. Zbl 1357.68133
Bergenthum, Robin; Lorenz, Robert
1
2015
Faster verification of partially ordered runs in Petri nets using compact tokenflows. Zbl 1335.68163
Bergenthum, Robin
1
2013
Verification of scenarios in Petri nets using compact tokenflows. Zbl 1357.68133
Bergenthum, Robin; Lorenz, Robert
1
2015
Faster verification of partially ordered runs in Petri nets using compact tokenflows. Zbl 1335.68163
Bergenthum, Robin
1
2013
Synthesis of Petri nets from term based representations of infinite partial languages. Zbl 1217.68147
Bergenthum, Robin; Desel, Jörg; Mauser, Sebastian; Lorenz, Robert
5
2009
Executability of scenarios in Petri nets. Zbl 1172.68044
Lorenz, Robert; Juhás, Gabriel; Bergenthum, Robin; Desel, Jörg; Mauser, Sebastian
3
2009
Comparison of different algorithms to synthesize a Petri net from a partial language. Zbl 1266.68136
Bergenthum, Robin; Desel, Jörg; Mauser, Sebastian
2
2009
Synthesis of Petri nets from finite partial languages. Zbl 1167.68037
Bergenthum, Robin; Desel, Jörg; Lorenz, Robert; Mauser, Sebastian
21
2008
Faster unfolding of general Petri nets based on token flows. Zbl 1143.68471
Bergenthum, Robin; Lorenz, Robert; Mauser, Sebastian
3
2008
Theory of regions for the synthesis of inhibitor nets from scenarios. Zbl 1226.68064
Lorenz, Robert; Mauser, Sebastian; Bergenthum, Robin
1
2007

Citations by Year