Robin Bergenthum

According to our database, Robin Bergenthum authored at least 42 papers between 2006 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Das Blindenhund-Werkzeug: Autokorrektur von Petrinetzen mithilfe von halbgeordneten Verhaltensdaten.

Robin Bergenthum, Jakub Kovár, Nico Lueg

Proceedings of the Modellierung 2024 - Workshop Proceedings, Potsdam, Germany, 2024

Message from the Modellierung'24 Tools & Demos Chairs.

Robin Bergenthum, Julius Köpke

Proceedings of the Modellierung 2024 - Workshop Proceedings, Potsdam, Germany, 2024

Token Trail Semantics II - Petri Nets And Their Net Language.

Jakub Kovár, Robin Bergenthum

Proceedings of the Application and Theory of Petri Nets and Concurrency, 2024

2023

ILP² Miner - Process Discovery for Partially Ordered Event Logs Using Integer Linear Programming.

Sabine Folz-Weinstein, Robin Bergenthum, Jörg Desel, Jakub Kovár

Proceedings of the Application and Theory of Petri Nets and Concurrency, 2023

Token Trail Semantics - Modeling Behavior of Petri Nets with Labeled Petri Nets.

Robin Bergenthum, Sabine Folz-Weinstein, Jakub Kovár

Proceedings of the Application and Theory of Petri Nets and Concurrency, 2023

2022

A First Glimpse at Petri Net Regions.

Robin Bergenthum, Jakub Kovár

Proceedings of the Workshop on Algorithms & Theories for the Analysis of Event Data co-located with the 43rd International Conference on Application and Theory of Petri Nets and Concurrency (Petri Nets 2022), 2022

2021

Empowering conformance checking using Big Data through horizontal decomposition.

Álvaro Valencia-Parra, Ángel Jesús Varela-Vaca, María Teresa Gómez-López, Josep Carmona, Robin Bergenthum

Inf. Syst., 2021

Firing Partial Orders in a Petri Net.

Robin Bergenthum

Proceedings of the Application and Theory of Petri Nets and Concurrency, 2021

Petrinetze: Grundlagen der formalen Prozessanalyse.

Robin Bergenthum

Proceedings of the Prozessmanagement und Process-Mining - Grundlagen., 2021

2020

Removing Implicit Places Using Regions for Process Discovery.

Lisa Luise Mannel, Robin Bergenthum, Wil M. P. van der Aalst

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, 2020

2019

Prime Miner - Process Discovery using Prime Event Structures.

Robin Bergenthum

Proceedings of the International Conference on Process Mining, 2019

2018

Visualizing Regions with a new Split-Screen View for the Online Tool travis.

Benjamin Meis, Robin Bergenthum

Proceedings of the Joint Proceedings of the Workshops at Modellierung 2018 co-located with Modellierung 2018, 2018

2017

Synthesizing Petri Nets from Hasse Diagrams.

Robin Bergenthum

Proceedings of the Business Process Management - 15th International Conference, 2017

travis - An Online Tool for the Synthesis and Analysis of Petri Nets with Final States.

Benjamin Meis, Robin Bergenthum, Jörg Desel

Proceedings of the Application and Theory of Petri Nets and Concurrency, 2017

Mining with Eve - Process Discovery and Event Structures.

Robin Bergenthum, Benjamin Meis

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, 2017

2016

Synthesis of Elementary Net Systems with Final Configurations.

Benjamin Meis, Robin Bergenthum, Jörg Desel

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, 2016

2015

Verification of Logs - Revealing Faulty Processes of a Medical Laboratory.

Robin Bergenthum, Joachim Schick

Trans. Petri Nets Other Model. Concurr., 2015

Verification of Scenarios in Petri Nets Using Compact Tokenflows.

Robin Bergenthum, Robert Lorenz

Fundam. Informaticae, 2015

Folding Example Runs to a Workflow Net.

Robin Bergenthum, Thomas Irgang, Benjamin Meis

Proceedings of the International Workshop on Algorithms & Theories for the Analysis of Event Data, 2015

Compact Regions for Place/Transition Nets.

Robin Bergenthum

Proceedings of the International Workshop on Algorithms & Theories for the Analysis of Event Data, 2015

2013

Verifikation von halbgeordneten Abläufen in Petrinetzen.

Robin Bergenthum

PhD thesis, 2013

Faster Verification of Partially Ordered Runs in Petri Nets Using Compact Tokenflows.

Robin Bergenthum

Proceedings of the Application and Theory of Petri Nets and Concurrency, 2013

2012

Modeling and Mining of Learnflows.

Robin Bergenthum, Jörg Desel, Andreas Harrer, Sebastian Mauser

Trans. Petri Nets Other Model. Concurr., 2012

MuPSi - a multitouch Petri net simulator for transition steps.

Thomas Irgang, Andreas Harrer, Robin Bergenthum

Proceedings of the International Workshop on Petri Nets and Software Engineering, 2012

2011

Workflow Nets with Roles.

Robin Bergenthum, Jörg Desel, Sebastian Mauser

Proceedings of the Enterprise Modelling and Information Systems Architectures: Proceedings of the 4th International Workshop on Enterprise Modelling and Information Systems Architectures, 2011

Mining with User Interaction.

Robin Bergenthum, Sebastian Mauser

Proceedings of the Workshop Applications of Region Theory 2011, 2011

2010

Modeling and Mining of Collarobative Learnflows.

Robin Bergenthum, Andreas Harrer, Sebastian Mauser

Proceedings of the Workshops of the 31st International Conference on Application and Theory of Petri Nets and Other Models of Concurrency (PETRI NETS 2010) and of the 10th International Conference on Application of Concurrency to System Design (ACSD 2010), 2010

2009

Construction of Process Models from Example Runs.

Robin Bergenthum, Jörg Desel, Sebastian Mauser, Robert Lorenz

Trans. Petri Nets Other Model. Concurr., 2009

Comparison of Different Algorithms to Synthesize a Petri Net from a Partial Language.

Robin Bergenthum, Jörg Desel, Sebastian Mauser

Trans. Petri Nets Other Model. Concurr., 2009

Executability of scenarios in Petri nets.

Robert Lorenz, Gabriel Juhás, Robin Bergenthum, Jörg Desel, Sebastian Mauser

Theor. Comput. Sci., 2009

Unfolding Semantics of Petri Nets Based on Token Flows.

Robin Bergenthum, Sebastian Mauser, Robert Lorenz, Gabriel Juhás

Fundam. Informaticae, 2009

Synthesis of Petri Nets from Term Based Representations of Infinite Partial Languages.

Robin Bergenthum, Jörg Desel, Sebastian Mauser, Robert Lorenz

Fundam. Informaticae, 2009

2008

Synthesis of Petri Nets from Finite Partial Languages.

Robin Bergenthum, Jörg Desel, Robert Lorenz, Sebastian Mauser

Fundam. Informaticae, 2008

Learnflow Mining.

Robin Bergenthum, Jörg Desel, Andreas Harrer, Sebastian Mauser

Proceedings of the DeLFI 2008: Die 6. e-Learning Fachtagung Informatik der Gesellschaft für Informatik e.V., 07., 2008

Synthesis of Petri Nets from Infinite Partial Languages with VipTool.

Robin Bergenthum, Sebastian Mauser

Proceedings of the 15th German Workshop on Algorithms and Tools for Petri Nets, 2008

Faster Unfolding of General Petri Nets Based on Token Flows.

Robin Bergenthum, Robert Lorenz, Sebastian Mauser

Proceedings of the Applications and Theory of Petri Nets, 29th International Conference, 2008

Synthesis of Petri Nets from Scenarios with VipTool.

Robin Bergenthum, Jörg Desel, Robert Lorenz, Sebastian Mauser

Proceedings of the Applications and Theory of Petri Nets, 29th International Conference, 2008

Synthesis of Petri nets from infinite partial languages.

Robin Bergenthum, Jörg Desel, Robert Lorenz, Sebastian Mauser

Proceedings of the 8th International Conference on Application of Concurrency to System Design (ACSD 2008), 2008

2007

Process Mining Based on Regions of Languages.

Robin Bergenthum, Jörg Desel, Robert Lorenz, Sebastian Mauser

Proceedings of the Business Process Management, 5th International Conference, 2007

Theory of Regions for the Synthesis of Inhibitor Nets from Scenarios.

Robert Lorenz, Sebastian Mauser, Robin Bergenthum

Proceedings of the Petri Nets and Other Models of Concurrency, 2007

Testing the executability of scenarios in general inhibitor nets.

Robert Lorenz, Sebastian Mauser, Robin Bergenthum

Proceedings of the Seventh International Conference on Application of Concurrency to System Design (ACSD 2007), 2007

2006

Can I Execute My Scenario in Your Net? VipTool Tells You!

Robin Bergenthum, Jörg Desel, Gabriel Juhás, Robert Lorenz

Proceedings of the Petri Nets and Other Models of Concurrency, 2006