Edit Profile (opens in new tab) Bergenthum, Robin Co-Author Distance Author ID: bergenthum.robin Published as: Bergenthum, Robin Documents Indexed: 10 Publications since 2007 1 Contribution as Editor Co-Authors: 6 Co-Authors with 9 Joint Publications 135 Co-Co-Authors all top 5 Co-Authors 2 single-authored 7 Lorenz, Robert G. 7 Mauser, Sebastian 5 Desel, Jörg 1 Ciardo, Gianfranco 1 Juhás, Gabriel 1 Koutny, Maciej Serials 3 Fundamenta Informaticae 1 Theoretical Computer Science Fields 11 Computer science (68-XX) 1 General and overarching topics; collections (00-XX) Publications by Year all cited Publications top 5 cited Publications 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 all cited Publications top 5 cited Publications all top 5 Cited by 29 Authors 8 van der Aalst, Wil M. P. 3 Carmona, Josep 3 Desel, Jörg 3 Fahland, Dirk 3 Lorenz, Robert G. 3 Mannel, Lisa Luise 2 Bergenthum, Robin 2 Juhás, Gabriel 2 Kalenkova, Anna A. 2 La Rosa, Marcello 2 Leemans, Sander J. J. 2 Mauser, Sebastian 2 Polyvyanyy, Artem 2 Popova-Zeugmann, Louchka 2 van Dongen, Boudewijn F. 2 Virbitskaite, Irina B. 1 Armas-Cervantes, Abel 1 Berti, Alessandro 1 Borovlev, V. A. 1 Borovlyov, Victor 1 Cabasino, Maria Paola 1 De Oliveira Oliveira, Mateus 1 Giua, Alessandro 1 Hadjicostis, Christoforos N. 1 Pinna, G. Michele 1 Seatzu, Carla 1 Taymouri, Farbod 1 van Zelst, Sebastiaan J. 1 Verbeek, H. M. W. Cited in 5 Serials 3 Fundamenta Informaticae 1 Computing 1 Programming and Computer Software 1 Discrete Event Dynamic Systems 1 Data Mining and Knowledge Discovery Cited in 3 Fields 20 Computer science (68-XX) 3 Operations research, mathematical programming (90-XX) 1 Systems theory; control (93-XX) Citations by Year