Robin Bergenthum

Orcid: 0000-0003-0464-8843

Affiliations:
  • Fernuni Hagen, Germany


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

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2024
Das Blindenhund-Werkzeug: Autokorrektur von Petrinetzen mithilfe von halbgeordneten Verhaltensdaten.
Proceedings of the Modellierung 2024 - Workshop Proceedings, Potsdam, Germany, 2024

Message from the Modellierung'24 Tools & Demos Chairs.
Proceedings of the Modellierung 2024 - Workshop Proceedings, Potsdam, Germany, 2024

Token Trail Semantics II - Petri Nets And Their Net Language.
Proceedings of the Application and Theory of Petri Nets and Concurrency, 2024

2023
ILP<sup>2</sup> Miner - Process Discovery for Partially Ordered Event Logs Using Integer Linear Programming.
Proceedings of the Application and Theory of Petri Nets and Concurrency, 2023

Token Trail Semantics - Modeling Behavior of Petri Nets with Labeled Petri Nets.
Proceedings of the Application and Theory of Petri Nets and Concurrency, 2023

2022
A First Glimpse at Petri Net Regions.
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.
Inf. Syst., 2021

Firing Partial Orders in a Petri Net.
Proceedings of the Application and Theory of Petri Nets and Concurrency, 2021

Petrinetze: Grundlagen der formalen Prozessanalyse.
Proceedings of the Prozessmanagement und Process-Mining - Grundlagen., 2021

2020
Removing Implicit Places Using Regions for Process Discovery.
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.
Proceedings of the International Conference on Process Mining, 2019

2018
Visualizing Regions with a new Split-Screen View for the Online Tool travis.
Proceedings of the Joint Proceedings of the Workshops at Modellierung 2018 co-located with Modellierung 2018, 2018

2017
Synthesizing Petri Nets from Hasse Diagrams.
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.
Proceedings of the Application and Theory of Petri Nets and Concurrency, 2017

Mining with Eve - Process Discovery and Event Structures.
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.
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.
Trans. Petri Nets Other Model. Concurr., 2015

Verification of Scenarios in Petri Nets Using Compact Tokenflows.
Fundam. Informaticae, 2015

Folding Example Runs to a Workflow Net.
Proceedings of the International Workshop on Algorithms & Theories for the Analysis of Event Data, 2015

Compact Regions for Place/Transition Nets.
Proceedings of the International Workshop on Algorithms & Theories for the Analysis of Event Data, 2015

2013
Verifikation von halbgeordneten Abläufen in Petrinetzen.
PhD thesis, 2013

Faster Verification of Partially Ordered Runs in Petri Nets Using Compact Tokenflows.
Proceedings of the Application and Theory of Petri Nets and Concurrency, 2013

2012
Modeling and Mining of Learnflows.
Trans. Petri Nets Other Model. Concurr., 2012

MuPSi - a multitouch Petri net simulator for transition steps.
Proceedings of the International Workshop on Petri Nets and Software Engineering, 2012

2011
Workflow Nets with Roles.
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.
Proceedings of the Workshop Applications of Region Theory 2011, 2011

2010
Modeling and Mining of Collarobative Learnflows.
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.
Trans. Petri Nets Other Model. Concurr., 2009

Comparison of Different Algorithms to Synthesize a Petri Net from a Partial Language.
Trans. Petri Nets Other Model. Concurr., 2009

Executability of scenarios in Petri nets.
Theor. Comput. Sci., 2009

Unfolding Semantics of Petri Nets Based on Token Flows.
Fundam. Informaticae, 2009

Synthesis of Petri Nets from Term Based Representations of Infinite Partial Languages.
Fundam. Informaticae, 2009

2008
Synthesis of Petri Nets from Finite Partial Languages.
Fundam. Informaticae, 2008

Learnflow Mining.
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.
Proceedings of the 15th German Workshop on Algorithms and Tools for Petri Nets, 2008

Faster Unfolding of General Petri Nets Based on Token Flows.
Proceedings of the Applications and Theory of Petri Nets, 29th International Conference, 2008

Synthesis of Petri Nets from Scenarios with VipTool.
Proceedings of the Applications and Theory of Petri Nets, 29th International Conference, 2008

Synthesis of Petri nets from infinite partial languages.
Proceedings of the 8th International Conference on Application of Concurrency to System Design (ACSD 2008), 2008

2007
Process Mining Based on Regions of Languages.
Proceedings of the Business Process Management, 5th International Conference, 2007

Theory of Regions for the Synthesis of Inhibitor Nets from Scenarios.
Proceedings of the Petri Nets and Other Models of Concurrency, 2007

Testing the executability of scenarios in general inhibitor nets.
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!
Proceedings of the Petri Nets and Other Models of Concurrency, 2006


  Loading...