Can I Execute My Scenario in Your Net? VipTool Tells You! - Robin Bergenthum; Jörg Desel; Gabriel Juhás; Robert Lorenz 001 (ICATPN, 2006)

Testing the executability of scenarios in general inhibitor nets. - Robert Lorenz 001; Sebastian Mauser; Robin Bergenthum (ACSD, 2007)

Theory of Regions for the Synthesis of Inhibitor Nets from Scenarios. - Robert Lorenz 001; Sebastian Mauser; Robin Bergenthum (ICATPN, 2007)

Process Mining Based on Regions of Languages. - Robin Bergenthum; Jörg Desel; Robert Lorenz 001; Sebastian Mauser (BPM, 2007)

Synthesis of Petri nets from infinite partial languages. - Robin Bergenthum; Jörg Desel; Robert Lorenz 001; Sebastian Mauser (ACSD, 2008)

Synthesis of Petri Nets from Scenarios with VipTool. - Robin Bergenthum; Jörg Desel; Robert Lorenz 001; Sebastian Mauser (Petri Nets, 2008)

Faster Unfolding of General Petri Nets Based on Token Flows. - Robin Bergenthum; Robert Lorenz 001; Sebastian Mauser (Petri Nets, 2008)

Synthesis of Petri Nets from Infinite Partial Languages with VipTool. - Robin Bergenthum; Sebastian Mauser (AWPN, 2008)

Learnflow Mining. - Robin Bergenthum; Jörg Desel; Andreas Harrer; Sebastian Mauser (DeLFI, 2008)

Synthesis of Petri Nets from Finite Partial Languages. - Robin Bergenthum; Jörg Desel; Robert Lorenz 001; Sebastian Mauser (Fundam. Informaticae, 2008)

Synthesis of Petri Nets from Term Based Representations of Infinite Partial Languages. - Robin Bergenthum; Jörg Desel; Sebastian Mauser; Robert Lorenz 001 (Fundam. Informaticae, 2009)

Unfolding Semantics of Petri Nets Based on Token Flows. - Robin Bergenthum; Sebastian Mauser; Robert Lorenz 001; Gabriel Juhás (Fundam. Informaticae, 2009)

Executability of scenarios in Petri nets. - Robert Lorenz 001; Gabriel Juhás; Robin Bergenthum; Jörg Desel; Sebastian Mauser (Theor. Comput. Sci., 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)

Construction of Process Models from Example Runs. - Robin Bergenthum; Jörg Desel; Sebastian Mauser; Robert Lorenz 001 (Trans. Petri Nets Other Model. Concurr., 2009)

Modeling and Mining of Collarobative Learnflows. - Robin Bergenthum; Andreas Harrer; Sebastian Mauser (ACSD/Petri Nets Workshops, 2010)

Mining with User Interaction. - Robin Bergenthum; Sebastian Mauser (ART @ Petri Nets, 2011)

Folding Partially Ordered Runs. - Robin Bergenthum; Sebastian Mauser (ART @ Petri Nets, 2011)

Workflow Nets with Roles. - Robin Bergenthum; Jörg Desel; Sebastian Mauser (EMISA, 2011)

MuPSi - a multitouch Petri net simulator for transition steps. - Thomas Irgang; Andreas Harrer; Robin Bergenthum (PNSE, 2012)

Modeling and Mining of Learnflows. - Robin Bergenthum; Jörg Desel; Andreas Harrer; Sebastian Mauser (Trans. Petri Nets Other Model. Concurr., 2012)

Faster Verification of Partially Ordered Runs in Petri Nets Using Compact Tokenflows. - Robin Bergenthum (Petri Nets, 2013)

Verifikation von halbgeordneten Abläufen in Petrinetzen. - Robin Bergenthum (2013)

Compact Regions for Place/Transition Nets. - Robin Bergenthum (ATAED@Petri Nets/ACSD, 2015)

Folding Example Runs to a Workflow Net. - Robin Bergenthum; Thomas Irgang; Benjamin Meis (ATAED@Petri Nets/ACSD, 2015)

Verification of Scenarios in Petri Nets Using Compact Tokenflows. - Robin Bergenthum; Robert Lorenz 001 (Fundam. Informaticae, 2015)

Verification of Logs - Revealing Faulty Processes of a Medical Laboratory. - Robin Bergenthum; Joachim Schick (Trans. Petri Nets Other Model. Concurr., 2015)

Synthesis of Elementary Net Systems with Final Configurations. - Benjamin Meis; Robin Bergenthum; Jörg Desel (ATAED@Petri Nets/ACSD, 2016)

Mining with Eve - Process Discovery and Event Structures. - Robin Bergenthum; Benjamin Meis (ATAED@Petri Nets/ACSD, 2017)

travis - An Online Tool for the Synthesis and Analysis of Petri Nets with Final States. - Benjamin Meis; Robin Bergenthum; Jörg Desel (Petri Nets, 2017)

Synthesizing Petri Nets from Hasse Diagrams. - Robin Bergenthum (BPM, 2017)

Visualizing Regions with a new Split-Screen View for the Online Tool travis. - Benjamin Meis; Robin Bergenthum (Modellierung (Workshops), 2018)

Prime Miner - Process Discovery using Prime Event Structures. - Robin Bergenthum (ICPM, 2019)

Removing Implicit Places Using Regions for Process Discovery. - Lisa Luise Mannel; Robin Bergenthum; Wil M. P. van der Aalst (ATAED@Petri Nets, 2020)

Petrinetze: Grundlagen der formalen Prozessanalyse. - Robin Bergenthum (Prozessmanagement und Process-Mining - Grundlagen, 2021)

Firing Partial Orders in a Petri Net. - Robin Bergenthum (Petri Nets, 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 001; Robin Bergenthum (Inf. Syst., 2021)

A First Glimpse at Petri Net Regions. - Robin Bergenthum; Jakub Kovár (ATAED@Petri Nets, 2022)

Token Trail Semantics - Modeling Behavior of Petri Nets with Labeled Petri Nets. - Robin Bergenthum; Sabine Folz-Weinstein; Jakub Kovár (Petri Nets, 2023)

ILP2 Miner - Process Discovery for Partially Ordered Event Logs Using Integer Linear Programming. - Sabine Folz-Weinstein; Robin Bergenthum; Jörg Desel; Jakub Kovár (Petri Nets, 2023)

Token Trail Semantics II - Petri Nets And Their Net Language. - Jakub Kovár; Robin Bergenthum (Petri Nets, 2024)

Message from the Modellierung'24 Tools & Demos Chairs. - Robin Bergenthum; Julius Köpke (Modellierung (Workshops), 2024)

Das Blindenhund-Werkzeug: Autokorrektur von Petrinetzen mithilfe von halbgeordneten Verhaltensdaten. - Robin Bergenthum; Jakub Kovár; Nico Lueg (Modellierung (Workshops), 2024)

Synthesizing Petri Nets from Labelled Petri Nets. - Robin Bergenthum; Jakub Kovár (Petri Nets, 2025)

eST2 Miner - Process Discovery Based on Firing Partial Orders. - Sabine Folz-Weinstein; Christian Rennert; Lisa Luise Mannel; Robin Bergenthum; Wil M. P. van der Aalst (CAiSE (2), 2025)