Robin Bergenthum

58 papers A 2B 10Journal 12Unranked 24

Year	Rank	Type	Title / Venue / Authors
2026	J	`jnl`	Synthesizing Petri Nets from Labelled Petri Nets using Token Trail Regions. CoRR Robin Bergenthum, Jakub Kovár
2025	—	`ed.`	Joint Proceedings of the Workshops at the 46th International Conference on Application and Theory of Petri Nets and Concurrency: Petri Nets and Software Engineering (PNSE'25), Algorithms & Theories for the Analysis of Event Data (ATAED'25), and Petri Net Games, Examples and Quizzes for Education, Contest and Fun (PeNGE'25) co-located with PETRI NETS 2025, June 23 - 24, 2025, Paris, France. PNSE/ATAED/PeNGE@PETRI NETS Michael Köhler-Bußmeier, Daniel Moldt, Heiko Rölke, Robin Bergenthum, Andrey Rivkin, Jan Martijn E. M. van der Werf, Jörg Desel, Laure Petrucci
2025	—	`conf`	KI und BPM als Enabler der Digitalisierung in der Verwaltung. STAF Workshops Julius Köpke, Robin Bergenthum, Jakub Kovár
2025	B	`conf`	Synthesizing Petri Nets from Labelled Petri Nets. Petri Nets Robin Bergenthum, Jakub Kovár
2025	—	`conf`	eST CAiSE (2) Sabine Folz-Weinstein, Christian Rennert, Lisa Luise Mannel, Robin Bergenthum, Wil M. P. van der Aalst
2025	J	`jnl`	eST CoRR Sabine Folz-Weinstein, Christian Rennert, Lisa Luise Mannel, Robin Bergenthum, Wil M. P. van der Aalst
2024	—	`conf`	Das Blindenhund-Werkzeug: Autokorrektur von Petrinetzen mithilfe von halbgeordneten Verhaltensdaten. Modellierung (Workshops) Robin Bergenthum, Jakub Kovár, Nico Lueg
2024	—	`conf`	Message from the Modellierung'24 Tools & Demos Chairs. Modellierung (Workshops) Robin Bergenthum, Julius Köpke
2024	B	`conf`	Token Trail Semantics II - Petri Nets And Their Net Language. Petri Nets Jakub Kovár, Robin Bergenthum
2023	B	`conf`	ILP Petri Nets Sabine Folz-Weinstein, Robin Bergenthum, Jörg Desel, Jakub Kovár
2023	B	`conf`	Token Trail Semantics - Modeling Behavior of Petri Nets with Labeled Petri Nets. Petri Nets Robin Bergenthum, Sabine Folz-Weinstein, Jakub Kovár
2023	—	`ed.`	Transactions on Petri Nets and Other Models of Concurrency XVII Trans. Petri Nets and Other Models of Concurrency Maciej Koutny, Robin Bergenthum, Gianfranco Ciardo
2022	—	`conf`	A First Glimpse at Petri Net Regions. ATAED@Petri Nets Robin Bergenthum, Jakub Kovár
2021	J	`jnl`	Empowering conformance checking using Big Data through horizontal decomposition. Inf. Syst. Álvaro Valencia-Parra, Ángel Jesús Varela-Vaca, María Teresa Gómez-López, Josep Carmona, Robin Bergenthum
2021	B	`conf`	Firing Partial Orders in a Petri Net. Petri Nets Robin Bergenthum
2021	—	`ch.`	Petrinetze: Grundlagen der formalen Prozessanalyse. Prozessmanagement und Process-Mining - Grundlagen Robin Bergenthum
2020	—	`ed.`	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. ATAED@Petri Nets Wil M. P. van der Aalst, Robin Bergenthum, Josep Carmona
2020	—	`conf`	Removing Implicit Places Using Regions for Process Discovery. ATAED@Petri Nets Lisa Luise Mannel, Robin Bergenthum, Wil M. P. van der Aalst
2019	B	`conf`	Prime Miner - Process Discovery using Prime Event Structures. ICPM Robin Bergenthum
2019	—	`ed.`	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. ATAED@Petri Nets/ACSD Wil M. P. van der Aalst, Robin Bergenthum, Josep Carmona
2018	—	`ed.`	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. ATAED@Petri Nets/ACSD Wil M. P. van der Aalst, Robin Bergenthum, Josep Carmona
2018	—	`conf`	Visualizing Regions with a new Split-Screen View for the Online Tool travis. Modellierung (Workshops) Benjamin Meis, Robin Bergenthum
2017	—	`conf`	Mining with Eve - Process Discovery and Event Structures. ATAED@Petri Nets/ACSD Robin Bergenthum, Benjamin Meis
2017	—	`ed.`	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. ATAED@Petri Nets/ACSD Wil M. P. van der Aalst, Robin Bergenthum, Josep Carmona
2017	A	`conf`	Synthesizing Petri Nets from Hasse Diagrams. BPM Robin Bergenthum
2017	B	`conf`	travis - An Online Tool for the Synthesis and Analysis of Petri Nets with Final States. Petri Nets Benjamin Meis, Robin Bergenthum, Jörg Desel
2016	—	`ed.`	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. ATAED@Petri Nets/ACSD Wil M. P. van der Aalst, Robin Bergenthum, Josep Carmona
2016	—	`conf`	Synthesis of Elementary Net Systems with Final Configurations. ATAED@Petri Nets/ACSD Benjamin Meis, Robin Bergenthum, Jörg Desel
2015	—	`conf`	Compact Regions for Place/Transition Nets. ATAED@Petri Nets/ACSD Robin Bergenthum
2015	—	`conf`	Folding Example Runs to a Workflow Net. ATAED@Petri Nets/ACSD Robin Bergenthum, Thomas Irgang, Benjamin Meis
2015	—	`ed.`	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. ATAED@Petri Nets/ACSD Wil M. P. van der Aalst, Robin Bergenthum, Josep Carmona
2015	J	`jnl`	Verification of Logs - Revealing Faulty Processes of a Medical Laboratory. Trans. Petri Nets Other Model. Concurr. Robin Bergenthum, Joachim Schick
2015	J	`jnl`	Verification of Scenarios in Petri Nets Using Compact Tokenflows. Fundam. Informaticae Robin Bergenthum, Robert Lorenz
2014	—	`conf`	Verification of Logs - Revealing Faulty Processes of a Medical Laboratory. PNSE @ Petri Nets Robin Bergenthum, Joachim Schick
2013	B	`conf`	Faster Verification of Partially Ordered Runs in Petri Nets Using Compact Tokenflows. Petri Nets Robin Bergenthum
2013	—	`—`	Verifikation von halbgeordneten Abläufen in Petrinetzen. Robin Bergenthum
2012	J	`jnl`	Modeling and Mining of Learnflows. Trans. Petri Nets Other Model. Concurr. Robin Bergenthum, Jörg Desel, Andreas Harrer, Sebastian Mauser
2012	—	`conf`	MuPSi - a multitouch Petri net simulator for transition steps. PNSE Thomas Irgang, Andreas Harrer, Robin Bergenthum
2011	—	`conf`	Folding Partially Ordered Runs. ART @ Petri Nets Robin Bergenthum, Sebastian Mauser
2011	—	`conf`	Mining with User Interaction. ART @ Petri Nets Robin Bergenthum, Sebastian Mauser
2011	—	`conf`	Workflow Nets with Roles. EMISA Robin Bergenthum, Jörg Desel, Sebastian Mauser
2010	—	`conf`	Modeling and Mining of Collarobative Learnflows. ACSD/Petri Nets Workshops Robin Bergenthum, Andreas Harrer, Sebastian Mauser
2009	J	`jnl`	Comparison of Different Algorithms to Synthesize a Petri Net from a Partial Language. Trans. Petri Nets Other Model. Concurr. Robin Bergenthum, Jörg Desel, Sebastian Mauser
2009	J	`jnl`	Construction of Process Models from Example Runs. Trans. Petri Nets Other Model. Concurr. Robin Bergenthum, Jörg Desel, Sebastian Mauser, Robert Lorenz
2009	J	`jnl`	Executability of scenarios in Petri nets. Theor. Comput. Sci. Robert Lorenz, Gabriel Juhás, Robin Bergenthum, Jörg Desel, Sebastian Mauser
2009	J	`jnl`	Synthesis of Petri Nets from Term Based Representations of Infinite Partial Languages. Fundam. Informaticae Robin Bergenthum, Jörg Desel, Sebastian Mauser, Robert Lorenz
2009	J	`jnl`	Unfolding Semantics of Petri Nets Based on Token Flows. Fundam. Informaticae Robin Bergenthum, Sebastian Mauser, Robert Lorenz, Gabriel Juhás
2008	B	`conf`	Faster Unfolding of General Petri Nets Based on Token Flows. Petri Nets Robin Bergenthum, Robert Lorenz, Sebastian Mauser
2008	—	`conf`	Learnflow Mining. DeLFI Robin Bergenthum, Jörg Desel, Andreas Harrer, Sebastian Mauser
2008	J	`jnl`	Synthesis of Petri Nets from Finite Partial Languages. Fundam. Informaticae Robin Bergenthum, Jörg Desel, Robert Lorenz, Sebastian Mauser
2008	—	`conf`	Synthesis of Petri Nets from Infinite Partial Languages with VipTool. AWPN Robin Bergenthum, Sebastian Mauser
2008	B	`conf`	Synthesis of Petri Nets from Scenarios with VipTool. Petri Nets Robin Bergenthum, Jörg Desel, Robert Lorenz, Sebastian Mauser
2008	—	`conf`	Synthesis of Petri nets from infinite partial languages. ACSD Robin Bergenthum, Jörg Desel, Robert Lorenz, Sebastian Mauser
2007	A	`conf`	Process Mining Based on Regions of Languages. BPM Robin Bergenthum, Jörg Desel, Robert Lorenz, Sebastian Mauser
2007	—	`conf`	Synthesis of Petri Nets from Finite Partial Languages. ACSD Robert Lorenz, Robin Bergenthum, Jörg Desel, Sebastian Mauser
2007	—	`conf`	Testing the executability of scenarios in general inhibitor nets. ACSD Robert Lorenz, Sebastian Mauser, Robin Bergenthum
2007	—	`conf`	Theory of Regions for the Synthesis of Inhibitor Nets from Scenarios. ICATPN Robert Lorenz, Sebastian Mauser, Robin Bergenthum
2006	—	`conf`	Can I Execute My Scenario in Your Net? VipTool Tells You! ICATPN Robin Bergenthum, Jörg Desel, Gabriel Juhás, Robert Lorenz