Logo der Fakultät STTP-Logo

Dr. Robin Bergenthum

Robin Bergenthum
E-Mail: robin.bergenthum
Telefon: +49 2331 987 - 1773
Fax: +49 2331 987 - 317
Raum: Informatikzentrum, 3. Etage, Block G, Raum 15

Forschungsinteressen

  • Petrinetze
  • Software Engineering
  • konzeptuelle Modellierung von Systemen und Szenarien
  • Geschäftsprozessmodellierung

Publikationen

Aufsätze in Journalen

  • R. Bergenthum, Joachim Schick. Verification of Logs - Revealing Faulty Processes of a Medical Laboratory, in: Koutny, Maciej, Desel, Jörg; Haddad, Serge (eds.) Transactions on Petri Nets and Other Models of Concurrency X, Lecture Notes in Computer Science 9410, 1-18, Springer 2015.
  • R. Bergenthum, Lorenz, Robert: Verification of Scenarios in Petri Nets Using Compact Tokenflows. Fundamenta Informaticae 137, 117-142, IOS Press, 2015.
  • R. Bergenthum, J. Desel, A. Harrer, S. Mauser. Modeling and Mining of Learnflows. Transactions on Petri Nets and Other Models of Concurrency, Volume 5, Lecture Notes in Computer Science 6900, 22–50, Springer, 2012.
  • R. Bergenthum, J. Desel, R. Lorenz, S. Mauser. Synthesis of Petri Nets from Term Based Representations of Infinite Partial Languages. Fundamenta Informaticae, Volume 95, Issue 1, 187–217, IOS Press, 2009.
  • R. Bergenthum, J. Desel, S. Mauser. Comparison of Different Algorithms to Synthesize a Petri Net from a Partial Language. Transactions on Petri Nets and Other Models of Concurrency, Volume 3, Lecture Notes in Computer Science 5800, 216–243, Springer, 2009.
  • R. Bergenthum, G. Juhás, R. Lorenz, S. Mauser. Unfolding Semantics of Petri Nets Based on Token Flows. Fundamenta Informaticae, Volume 94, Issues 3–4, 331–360, IOS Press, 2009.
  • R. Bergenthum, J. Desel, R. Lorenz, S. Mauser. Construction of Process Models from Example Runs. Transactions on Petri Nets and Other Models of Concurrency, Volume 2, Lecture Notes in Computer Science 5460, 243–259, Springer, 2009.
  • R. Bergenthum, J. Desel, G. Juhás, R. Lorenz, S. Mauser. Executability of Scenarios in Petri Nets. Theoretical Computer Science, Volume 410, Issues 12–13, 1190–1216, Elsevier, 2009.
  • R. Bergenthum, J. Desel, R. Lorenz, S. Mauser. Synthesis of Petri Nets from Finite Partial Languages. Fundamenta Informaticae, Volume 88, Issue 4, 437–468, IOS Press, 2008.
  • R. Bergenthum, S. Mauser. Experimental Results on the Synthesis of Petri Nets from Partial Languages. Petri Net Newsletter, Volume 73, 3–10, Gesellschaft für Informatik, 2007.


Beiträge zu Tagungsbänden/Tagungen

  • R. Bergenthum. Faster Verification of Partially Ordered Runs in Petri Nets Using Compact Tokenflows. Proceedings of the 34th International Conference on Application and Theory of Petri Nets and Other Models of Concurrency, Petri Nets 2013, Lecture Notes in Computer Science 7927, 330-348, Springer, 2013.
  • R. Bergenthum, J. Desel, A. Harrer, S. Mauser. Learnflow Mining. Tagungsband der 6. e-Learning Fachtagung Informatik der Gesellschaft für Informatik, DeLFI 2008, LNI P-132, 269–280, Gesellschaft für Informatik, 2008.
  • R. Bergenthum, J. Desel, R. Lorenz, S. Mauser. Synthesis of Petri Nets from Infinite Partial Languages. Proceedings of the 8th International Conference on Application of Concurrency to System Design, ACSD 2008, 170–179, IEEE Computer Society, 2008.
  • R. Bergenthum, J. Desel, R. Lorenz, S. Mauser. Synthesis of Petri Nets with VipTool. Proceedings of the 29th International Conference on Application and Theory of Petri Nets and Other Models of Concurrency, Petri Nets 2008, Lecture Notes in Computer Science 5062, 388–398, Springer, 2008.
  • R. Bergenthum, R. Lorenz, S. Mauser. Faster Unfolding of General Petri Nets Based on Token Flows. Proceedings of the 29th International Conference on Application and Theory of Petri Nets and Other Models of Concurrency, Petri Nets 2008, Lecture Notes in Computer Science 5062, 13–32, Springer, 2008.
  • R. Bergenthum, J. Desel, R. Lorenz, S. Mauser. Process Mining Based on Regions of Languages. Proceedings of the 5th International Conference on Business Process Management, BPM 2007, Lecture Notes in Computer Science 4714, 375–383, Springer, 2007.
  • R. Lorenz, R. Bergenthum, S. Mauser. Testing the Executability of Scenarios in General Inhibitor Nets. Proceedings of the 7th International Conference on Application of Concurrency to System Design, ACSD 2007, 167–176, IEEE Computer Society, 2007.
  • R. Lorenz, R. Bergenthum, J. Desel, S. Mauser. Synthesis of Petri Nets from Finite Partial Languages. Proceedings of the 7th International Conference on Application of Concurrency to System Design, ACSD 2007, 157–166, IEEE Computer Society, 2007.
  • R. Lorenz, R. Bergenthum, S. Mauser. Theory of Regions for the Synthesis of Inhibitor Nets from Scenarios. Proceedings of the 28th International Conference on Application and Theory of Petri Nets and Other Models of Concurrency, Petri Nets 2007, Lecture Notes in Computer Science 4546, 342–361, Springer, 2007.
  • R. Bergenthum, J. Desel, G. Juhás, R. Lorenz. Can I Execute My Scenario in Your Net? VipTool Tells You! Proceedings of the 27th International Conference on Application and Theory of Petri Nets and Other Models of Concurrency, Petri Nets 2006, Lecture Notes in Computer Science 4024, 381-390, Springer, 2006.


Beiträge zu Workshops

  • Bergenthum, Robin; Schick, Joachim: Verification of Logs - Revealing Faulty Processes of a Medical Laboratory. In: Daniel Moldt und Heiko Rölke: Proceedings of the International Workshop on Petri Nets and Software Engineering, PNSE'14, a satellite event of Petri Nets 2014 Tunis, June 2014 (CEUR Workshop Proceedings 1160), 17-33. (pdf)
  • R. Bergenthum, J. Desel, S. Mauser. Workflow Nets with Roles. Proceedings of 4th International Workshop on Enterprise Modelling and Information Systems Architectures, EMISA 2011, LNI, Gesellschaft für Informatik, Universität Hamburg, 2011.
  • R. Bergenthum, S. Mauser. Mining with User Interaction. Proceedings of Applications of Region Theory, ART 2011, CEUR Workshop Proceedings 725, 79–84, Newcastle University, Newcastle upon Tyne, England, 2011.
  • R. Bergenthum, S. Mauser. Folding Partially Ordered Runs. Proceedings of Applications of Region Theory, ART 2011, CEUR Workshop Proceedings 725, 52–62, Newcastle University, Newcastle upon Tyne, England, 2011.
  • R. Bergenthum, A. Harrer, S. Mauser. Modelling und Mining of Collaborative Learnflows. Recent Advances in Petri Nets and Concurrency, Proceedings of the Workshops of PETRI NETS 2010 and ACSD 2010, CEUR Workshop Proceedings 827, 151–159, University of Minho, Braga, Portugal, 2010.
  • R. Bergenthum, J. Desel, A. Harrer, S. Mauser. Modellierung und Mining Kollaborativer Learnflows. Tagungsband des 16.Workshop Algorithmen undWerkzeuge für Petrinetze, AWPN 2009, CEUR Workshop Proceedings 501, 1–8, Duale Hochschule Baden Württemberg, Karlsruhe, 2009.
  • R. Bergenthum, J. Desel, A. Klett, S. Mauser. An Approach to Business Process Modeling Emphasizing the Early Design Phases. Tagungsband des 16. Workshop Algorithmen und Werkzeuge für Petrinetze, AWPN 2009, CEUR Workshop Proceedings 501, 41–56, Duale Hochschule Baden Württemberg, Karlsruhe, 2009.
  • R. Bergenthum, S. Mauser. Synthesis of Petri Nets from Infinite Partial Languages with VipTool. Tagungsband des 15.Workshop Algorithmen undWerkzeuge für Petrinetze, AWPN 2008, CEUR Workshop Proceedings 380, 81–86, Universität Rostock, 2008.
  • R. Bergenthum, J. Desel, C. Kölbl, S. Mauser. Experimental Results on Process Mining Based on Regions of Languages. Proceedings of the Workshop Concurrency metHods: Issues aNd Applications, CHINA 2008, Satellite Workshop of Petri Nets 2008, Xi’an, China, 2008.
  • R. Bergenthum, S. Mauser. Comparison of Different Algorithms to Synthesize a Petri Net from a Partial Language. Proceedings of the Workshop Concurrency metHods: Issues aNd Applications, CHINA 2008, Satellite Workshop of Petri Nets 2008, Xi’an, China, 2008.
  • R. Bergenthum, J. Desel, S. Mauser. Synthesis of Petri Nets for Business Process Design. Tagungsband des Workshop Verhaltensmodellierung: Best Practices und neue Erkenntnisse, Satellite Workshop der Modellierung 2008, Humboldt-Universität zu Berlin, 2008.
  • R. Bergenthum, R. Lorenz, S. Mauser. Towards Applicability of Language Based Synthesis for ProcessMining. Tagungsband des 14.Workshop Algorithmen undWerkzeuge für Petrinetze, AWPN 2007, 45–50, Universität Koblenz-Landau, 2007.
  • R. Bergenthum, R. Lorenz, S. Mauser. Faster Unfolding of General Petri Nets. Tagungsband des 14. Workshop Algorithmen und Werkzeuge für Petrinetze, AWPN 2007, 63–68, Universität Koblenz- Landau, 2007.
  • R. Bergenthum, R. Lorenz, S. Mauser. Synthese von S/T-Netzen aus unendlichen partiellen Sprachen. Tagungsband des 13. Workshop Algorithmen und Werkzeuge für Petrinetze, AWPN 2006, 1–8, Universität Hamburg, 2006.
  • R. Bergenthum, R. Lorenz, S. Mauser. Synthese von Inhibitor-Netzen aus geschichteten Ordnungsstrukturen. Tagungsband des 13. Workshop Algorithmen und Werkzeuge für Petrinetze, AWPN 2006, 9–17, Universität Hamburg, 2006.


Dissertation

  • R. Bergenthum. Verifikation von halbgeordneten Abläufen in Petrinetzen. Dissertation im Fach Informatik, Universitätsbibliothek der FernUniversität in Hagen, 2013.


Diplomarbeit

  • R. Bergenthum. Algorithmen zur Verifikation von halbgeordneten Petrinetz-Abläufen: Implementierung und Anwendung. Diplomarbeit im Fach Informatik, Katholische Universität Eichstätt-Ingolstadt, 2006.

Vorträge

  • Juni 2013: Faster Verification of Partially Ordered Runs in Petri Nets Using Compact Tokenflows. 34th International Conference on Application and Theory of Petri Nets and Other Models of Concurrency, Petri Nets 2013, Mailand, Italien.
  • März 2013: Verifikation von halbgeordneten Abläufen in Petrinetzen. Disputation im Rahmen des Promotionsverfahrens, Hagen.
  • Juni 2011: Mining with User Interaction. Workshop Applications of Region Theory, ART 2011, Newcastle upon Tyne, England.
  • Dezember 2009: Ein Vorgehensmodell zur Prozessmodellierung. Abschluss-Präsentation des Industrieprojektes zur Entwicklung eines Vorgehensmodells zur Prozessmodellierung im Fachbereich Beschaffung der AUDI AG, Ingolstadt.
  • September 2009: Modellierung und Mining Kollaborativer Learnflows. 16. Workshop Algorithmen und Werkzeuge für Petrinetze, AWPN 2009, Karlsruhe.
  • Juli 2009: Tool Demonstration VipTool. 9th International Conference on Application of Concurrency to System Design, ACSD 2009, Augsburg.
  • Juni 2009: Tool Demonstration VipTool. 30th International Conference on Application and Theory of Petri Nets and Other Models of Concurrency, Petri Nets 2009, Paris, Frankreich.
  • September 2008: Synthese von Petrinetzen aus unendlichen partiellen Sprachen mit VipTool. 15. Workshop Algorithmen und Werkzeuge für Petrinetze, AWPN 2008, Rostock.
  • September 2008: Syntheseverfahren mit Hilfe der Regionentheorie. Petrinetz-Workshop an der Humboldt-Universität zu Berlin, Berlin.
  • Juli 2008: Tool Demonstration VipTool. 29th International Conference on Application and Theory of Petri Nets and Other Models of Concurrency, Petri Nets 2008, Xi’an, China.
  • Juli 2008: Unfolding of General Petri Nets Based on Token Flows. 29th International Conference on Application and Theory of Petri Nets and Other Models of Concurrency, Petri Nets 2008, Xi’an, China.
  • Juni 2008: Verfahren zur Verifikation von Petrinetzen. Petrinetz-Workshop im Rahmen einer Forschungskooperation zwischen dem Department of Applied Informatics der Slovak University of Technology und dem Lehrstuhl für Angewandte Informatik der Katholischen Universität Eichstätt- Ingolstadt, Eichstätt.
  • September 2007: Faster Unfolding of General Petri Nets. 14. Workshop Algorithmen und Werkzeuge für Petrinetze, AWPN 2007, Koblenz.
  • Juli 2007: Tool Demonstration VipTool. 7th International Conference on Application of Concurrency to System Design, ACSD 2007, Bratislava, Slowakei.
  • Juni 2007: Tool Demonstration VipTool. 28th International Conference on Application and Theory of Petri Nets and Other Models of Concurrency, Petri Nets 2007, Siedlce, Polen.
  • März 2007: Process Mining. Projekttreffen des DAAD-Projektes SAMANET, Bratislava, Slowakei.
  • September 2006: Synthese von S/T-Netzen aus unendlichen partiellen Sprachen. 13. Workshop Algorithmen und Werkzeuge für Petrinetze, AWPN 2006, Hamburg.
  • Juni 2006: Can I Execute My Scenario in Your Net? VipTool Tells You! 27th International Conference on Application and Theory of Petri Nets and Other Models of Concurrency, Petri Nets 2006, Turku, Finnland.
  • Juni 2006: Tool Demonstration VipTool. 27th International Conference on Application of Petri Nets and Other Models of Concurrency, Petri Nets 2006, Turku, Finnland.
08.11.2017
FernUni-Logo FernUniversität in Hagen, Lehrgebiet Softwaretechnik und Theorie der Programmierung