default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDRobin Bergenthum
Person information
- affiliation: Fernuni Hagen, Germany
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
[c32]Jakub Kovár
, Robin Bergenthum:
Token Trail Semantics II - Petri Nets And Their Net Language. Petri Nets 2024: 175-196- [c31]Robin Bergenthum, Julius Köpke:
Message from the Modellierung'24 Tools & Demos Chairs. Modellierung (Workshops) 2024: 18 - [c30]Robin Bergenthum, Jakub Kovár, Nico Lueg:
Das Blindenhund-Werkzeug: Autokorrektur von Petrinetzen mithilfe von halbgeordneten Verhaltensdaten. Modellierung (Workshops) 2024: 22 - 2023
- [c29]Sabine Folz-Weinstein, Robin Bergenthum, Jörg Desel, Jakub Kovár:
ILP2 Miner - Process Discovery for Partially Ordered Event Logs Using Integer Linear Programming. Petri Nets 2023: 59-76 - [c28]Robin Bergenthum, Sabine Folz-Weinstein, Jakub Kovár:
Token Trail Semantics - Modeling Behavior of Petri Nets with Labeled Petri Nets. Petri Nets 2023: 286-306 - [e7]Maciej Koutny, Robin Bergenthum, Gianfranco Ciardo:
Transactions on Petri Nets and Other Models of Concurrency XVII. Lecture Notes in Computer Science 14150, Springer 2023, ISBN 978-3-662-68190-9 [contents] - 2022
- [c27]Robin Bergenthum, Jakub Kovár:
A First Glimpse at Petri Net Regions. ATAED@Petri Nets 2022: 60-68 - 2021
- [j10]Álvaro Valencia-Parra, Ángel Jesús Varela-Vaca, María Teresa Gómez-López, Josep Carmona, Robin Bergenthum:
Empowering conformance checking using Big Data through horizontal decomposition. Inf. Syst. 99: 101731 (2021) - [c26]Robin Bergenthum:
Firing Partial Orders in a Petri Net. Petri Nets 2021: 399-419 - [p1]Robin Bergenthum:
Petrinetze: Grundlagen der formalen Prozessanalyse. Prozessmanagement und Process-Mining - Grundlagen 2021: 125-152- - 2020
- [c25]Lisa Luise Mannel, Robin Bergenthum, Wil M. P. van der Aalst:
Removing Implicit Places Using Regions for Process Discovery. ATAED@Petri Nets 2020: 20-32 - [e6]Wil M. P. van der Aalst, Robin Bergenthum, Josep Carmona:
Proceedings of the International Workshop on Algorithms & Theories for the Analysis of Event Data 2020 Satellite event of the 41st International Conference on Application and Theory of Petri Nets and Concurrency Petri Nets 2020, virtual workshop, June 24, 2020. CEUR Workshop Proceedings 2625, CEUR-WS.org 2020 [contents]
2010 – 2019
- 2019
- [c24]Robin Bergenthum:
Prime Miner - Process Discovery using Prime Event Structures. ICPM 2019: 41-48 - [e5]Wil M. P. van der Aalst, Robin Bergenthum, Josep Carmona:
Proceedings of the International Workshop on Algorithms & Theories for the Analysis of Event Data 2019 Satellite event of the conferences: 40th International Conference on Application and Theory of Petri Nets and Concurrency Petri Nets 2019 and 19th International Conference on Application of Concurrency to System Design ACSD 2019, ATAED@Petri Nets/ACSD 2019, Aachen, Germany, June 25, 2019. CEUR Workshop Proceedings 2371, CEUR-WS.org 2019 [contents] - 2018
- [c23]Benjamin Meis, Robin Bergenthum:
Visualizing Regions with a new Split-Screen View for the Online Tool travis. Modellierung (Workshops) 2018: 187-195 - [e4]Wil M. P. van der Aalst, Robin Bergenthum, Josep Carmona:
Proceedings of the International Workshop on Algorithms & Theories for the Analysis of Event Data 2018 Satellite event of the conferences: 39th International Conference on Application and Theory of Petri Nets and Concurrency Petri Nets 2018 and 18th International Conference on Application of Concurrency to System Design ACSD 2018, Bratislava, Slovakia, June 25, 2018. CEUR Workshop Proceedings 2115, CEUR-WS.org 2018 [contents] - 2017
- [c22]Robin Bergenthum, Benjamin Meis:
Mining with Eve - Process Discovery and Event Structures. ATAED@Petri Nets/ACSD 2017: 71-75 - [c21]Benjamin Meis, Robin Bergenthum, Jörg Desel:
travis - An Online Tool for the Synthesis and Analysis of Petri Nets with Final States. Petri Nets 2017: 101-111 - [c20]Robin Bergenthum:
Synthesizing Petri Nets from Hasse Diagrams. BPM 2017: 22-39 - [e3]Wil M. P. van der Aalst, Robin Bergenthum, Josep Carmona:
Proceedings of the International Workshop on Algorithms & Theories for the Analysis of Event Data 2017 Satellite event of the conferences: 38th International Conference on Application and Theory of Petri Nets and Concurrency Petri Nets 2017 and 17th International Conference on Application of Concurrency to System Design ACSD 2017, Zaragoza, Spain, June 26-27, 2017. CEUR Workshop Proceedings 1847, CEUR-WS.org 2017 [contents] - 2016
- [c19]Benjamin Meis, Robin Bergenthum, Jörg Desel:
Synthesis of Elementary Net Systems with Final Configurations. ATAED@Petri Nets/ACSD 2016: 47-57 - [e2]Wil M. P. van der Aalst, Robin Bergenthum, Josep Carmona:
Proceedings of the International Workshop on Algorithms & Theories for the Analysis of Event Data 2016 Satellite event of the conferences: 37th International Conference on Application and Theory of Petri Nets and Concurrency Petri Nets 2016 and 16th International Conference on Application of Concurrency to System Design ACSD 2016, Torun, Poland, June 20-21, 2016. CEUR Workshop Proceedings 1592, CEUR-WS.org 2016 [contents] - 2015
- [j9]Robin Bergenthum, Robert Lorenz:
Verification of Scenarios in Petri Nets Using Compact Tokenflows. Fundam. Informaticae 137(1): 117-142 (2015) - [j8]Robin Bergenthum, Joachim Schick:
Verification of Logs - Revealing Faulty Processes of a Medical Laboratory. Trans. Petri Nets Other Model. Concurr. 10: 1-18 (2015) - [c18]Robin Bergenthum, Thomas Irgang, Benjamin Meis:
Folding Example Runs to a Workflow Net. ATAED@Petri Nets/ACSD 2015: 62-77 - [c17]Robin Bergenthum:
Compact Regions for Place/Transition Nets. ATAED@Petri Nets/ACSD 2015: 112-116 - [e1]Wil M. P. van der Aalst, Robin Bergenthum, Josep Carmona:
Proceedings of the International Workshop on Algorithms & Theories for the Analysis of Event Data, ATAED 2015, Satellite event of the conferences: 36th International Conference on Application and Theory of Petri Nets and Concurrency Petri Nets 2015 and 15th International Conference on Application of Concurrency to System Design ACSD 2015, Brussels, Belgium, June 22-23, 2015. CEUR Workshop Proceedings 1371, CEUR-WS.org 2015 [contents] - 2014
- [c16]Robin Bergenthum, Joachim Schick:
Verification of Logs - Revealing Faulty Processes of a Medical Laboratory. PNSE @ Petri Nets 2014: 17-33 - 2013
- [b1]Robin Bergenthum:
Verifikation von halbgeordneten Abläufen in Petrinetzen. FernUniversität in Hagen, 2013 - [c15]Robin Bergenthum:
Faster Verification of Partially Ordered Runs in Petri Nets Using Compact Tokenflows. Petri Nets 2013: 330-348 - 2012
- [j7]Robin Bergenthum, Jörg Desel, Andreas Harrer, Sebastian Mauser:
Modeling and Mining of Learnflows. Trans. Petri Nets Other Model. Concurr. 5: 22-50 (2012) - [c14]Thomas Irgang, Andreas Harrer, Robin Bergenthum:
MuPSi - a multitouch Petri net simulator for transition steps. PNSE 2012: 171-181 - 2011
- [c13]Robin Bergenthum, Sebastian Mauser:
Mining with User Interaction. ART @ Petri Nets 2011: 79-84 - [c12]Robin Bergenthum, Jörg Desel, Sebastian Mauser:
Workflow Nets with Roles. EMISA 2011: 65-78 - 2010
- [c11]Robin Bergenthum, Andreas Harrer, Sebastian Mauser:
Modeling and Mining of Collarobative Learnflows. ACSD/Petri Nets Workshops 2010: 151-159
2000 – 2009
- 2009
- [j6]Robin Bergenthum, Sebastian Mauser, Robert Lorenz, Gabriel Juhás:
Unfolding Semantics of Petri Nets Based on Token Flows. Fundam. Informaticae 94(3-4): 331-360 (2009) - [j5]Robin Bergenthum, Jörg Desel, Sebastian Mauser, Robert Lorenz:
Synthesis of Petri Nets from Term Based Representations of Infinite Partial Languages. Fundam. Informaticae 95(1): 187-217 (2009) - [j4]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) - [j3]Robin Bergenthum, Jörg Desel, Sebastian Mauser, Robert Lorenz:
Construction of Process Models from Example Runs. Trans. Petri Nets Other Model. Concurr. 2: 243-259 (2009) - [j2]Robin Bergenthum, Jörg Desel, Sebastian Mauser:
Comparison of Different Algorithms to Synthesize a Petri Net from a Partial Language. Trans. Petri Nets Other Model. Concurr. 3: 216-243 (2009) - 2008
- [j1]Robin Bergenthum, Jörg Desel, Robert Lorenz, Sebastian Mauser:
Synthesis of Petri Nets from Finite Partial Languages. Fundam. Informaticae 88(4): 437-468 (2008) - [c10]Robin Bergenthum, Jörg Desel, Robert Lorenz, Sebastian Mauser:
Synthesis of Petri nets from infinite partial languages. ACSD 2008: 170-179 - [c9]Robin Bergenthum, Robert Lorenz, Sebastian Mauser:
Faster Unfolding of General Petri Nets Based on Token Flows. Petri Nets 2008: 13-32 - [c8]Robin Bergenthum, Jörg Desel, Robert Lorenz, Sebastian Mauser:
Synthesis of Petri Nets from Scenarios with VipTool. Petri Nets 2008: 388-398 - [c7]Robin Bergenthum, Sebastian Mauser:
Synthesis of Petri Nets from Infinite Partial Languages with VipTool. AWPN 2008: 81-86 - [c6]Robin Bergenthum, Jörg Desel, Andreas Harrer, Sebastian Mauser:
Learnflow Mining. DeLFI 2008: 269-280 - 2007
- [c5]Robert Lorenz, Robin Bergenthum, Jörg Desel, Sebastian Mauser:
Synthesis of Petri Nets from Finite Partial Languages. ACSD 2007: 157-166 - [c4]Robert Lorenz, Sebastian Mauser, Robin Bergenthum:
Testing the executability of scenarios in general inhibitor nets. ACSD 2007: 167-176 - [c3]Robert Lorenz, Sebastian Mauser, Robin Bergenthum:
Theory of Regions for the Synthesis of Inhibitor Nets from Scenarios. ICATPN 2007: 342-361 - [c2]Robin Bergenthum, Jörg Desel, Robert Lorenz, Sebastian Mauser:
Process Mining Based on Regions of Languages. BPM 2007: 375-383 - 2006
- [c1]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
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-10-13 18:02 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
