Dr. Sebastian Mauser

Zur Zeit Professor an der Hochschule Ravensburg-Weingarten.

Homepage: http://portal.hs-weingarten.de/web/mauserse/profil-vollansicht

Forschungsinteressen

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

Publikationen

  • R. Bergenthum, J. Desel, A. Harrer, S. Mauser: Modelling und Mining of Collaborative Learnflows. Applications of Region Theory, ART satellite workshop of ACSD 2010 and Petri Nets 2010, Braga, Portugal, 2010.
  • R. Bergenthum, J. Desel, A. Harrer, S. Mauser: Modellierung und Mining Kollaborativer Learnflows. Tagungsband des 16. Workshop Algorithmen und Werkzeuge für Petrinetze (AWPN), CEUR Workshop Proceedings 501, 1–8, Duale Hochschule Baden Württemberg Karlsruhe, 2009.
  • S. Mauser, R. Bergenthum, J. Desel, A. Klett: An Approach to Business Process Modeling Emphasizing the Early Design Phases. Tagungsband des 16. Workshop Algorithmen und Werkzeuge für Petrinetze (AWPN), CEUR Workshop Proceedings 501, 41–56, Duale Hochschule Baden Württemberg Karlsruhe, 2009.
  • R. Bergenthum, J. Desel, R. Lorenz, S. Mauser: Synthesis of Petri Nets from Term Based Representations of Infinite Partial Languages. Fundamenta Informaticae, Volume 95, Number 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, LNCS 5800, 216–243, Springer, 2009.
  • R. Bergenthum, G. Juhas, R. Lorenz, S. Mauser: Unfolding Semantics of Petri Nets Based on Token Flows. Fundamenta Informaticae, Volume 94, Numbers 3–4, 331–360, IOS Press, 2009.
  • S. Mauser, R. Lorenz: Variants of the Language Based Synthesis Problem for Petri Nets. Proceedings of the 9th international conference on Application of Concurrency to System Design (ACSD), 89-98, IEEE Computer Society, 2009.
  • S. Mauser, R. Lorenz: Technical Report: Variants of the Language Based Synthesis Problem for Petri Nets. Technical Report, 2009.
  • R. Bergenthum, J. Desel, S. Mauser, R. Lorenz: Construction of Process Models from Example Runs. Transactions on Petri Nets and Other Models of Concurrency, Volume 2, LNCS 5460, 243–259, Springer, 2009.
  • R. Bergenthum, J. Desel, G. Juhas, R. Lorenz, S. Mauser: Executability of Scenarios in Petri Nets. Theoretical Computer Science, Volume 410, Numbers 12-13, 1190–1216, Elsevier, 2009.
  • G. Juhas, R.Lorenz, S. Mauser: Partial Order Semantics of Types of Nets. Proceedings of the 35th international conference on Current Trends in Theory and Practice of Computer Science (SOFSEM), LNCS 5404, 388-400, Springer, 2009.
  • R. Bergenthum, S. Mauser: Synthesis of Petri Nets from Infinite Partial Languages with VipTool. 15. Workshop Algorithmen und Werkzeuge für Petrinetze (AWPN), Rostock, 2008.
  • G. Juhas, R. Lorenz, S. Mauser: Examples and Proofs: Partial Order Semantics of Types of Nets. Technical Report, 2008.
  • R. Bergenthum, J.Desel, A. Harrer, S. Mauser: Learnflow Mining. 6. e-Learning Fachtagung der GI DeLFI, LNI vol. P-132, 269-280, GI, 2008.
  • G. Juhas, R. Lorenz, S. Mauser: Complete Process Semantics of Petri Nets. Fundamenta Informaticae, Volume 87, Numbers 3-4, 331-365, IOS Press, 2008.
  • R. Bergenthum, J. Desel, C. Kölbl, S. Mauser: Experimental Results on Process Mining Based on Regions of Languages. CHINA 2008 satellite workshop of ICATPN 2008, Xi'an, China, 2008.
  • R. Bergenthum, S. Mauser: Comparison of Different Algorithms to Synthesize a Petri Net from a Partial Language . CHINA 2008 satellite workshop of ICATPN 2008, Xi'an, China,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), 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 (ICATPN), LNCS 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 (ICATPN), LNCS 5062, 13-32 , Springer, 2008.
  • R. Bergenthum, J. Desel, S. Mauser: Synthesis of Petri Nets for Business Process Design. Workshop Verhaltensmodellierung: Best Practices und neue Erkenntnisse an der Modellierung, 2008.
  • R. Bergenthum, J. Desel, R. Lorenz, S. Mauser: Synthesis of Petri Nets from Finite Partial Languages. Fundamenta Informaticae, Volume 88, Number 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, GI, 2007.
  • R. Bergenthum, R. Lorenz, S. Mauser: Towards Applicability of Language Based Synthesis for Process Mining. Proceedings 14. Workshop Algorithmen und Werkzeuge für Petrinetze (AWPN), 45 - 50, Koblenz, 2007.
  • R. Bergenthum, R. Lorenz, S. Mauser: Faster Unfolding of General Petri Nets. Proceedings 14. Workshop Algorithmen und Werkzeuge für Petrinetze (AWPN), 63 - 68, Koblenz, 2007.
  • R. Lorenz, G. Juhas, S. Mauser: How to Synthesize Nets from Languages - a Survey. Proceedings of the Wintersimulation Conference (WSC), 637-647, IEEE, 2007.
  • G. Juhas, R. Lorenz, S. Mauser: Causal Semantics of Algebraic Petri Nets Distinguishing Concurrency and Synchronicity. Fundamenta Informaticae, Volume 86, Number 3, 255-298, IOS Press, 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), LNCS, vol. 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), 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), 157 - 166, IEEE Computer Society, 2007.
  • G. Juhas, R.Lorenz, S. Mauser: Complete Process Semantics for Inhibitor Nets. Proceedings of the 28th international conference on Application and Theory of Petri Nets (ICATPN), LNCS, vol. 4546, 184 - 203, Springer, 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 (ICATPN), LNCS, vol. 4546, 342 - 361, Springer, 2007.
  • R. Bergenthum, R. Lorenz, S. Mauser: Synthese von S/T-Netzen aus unendlichen partiellen Sprachen. Tagungsband des 13. Workshops Algorithmen und Werkzeuge für Petrinetze (AWPN), 1 - 8, Hamburg, 2006.
  • R. Bergenthum, R. Lorenz, S. Mauser: Synthese von Inhibitor-Netzen aus geschichteten Ordnungsstrukturen. Tagungsband des 13. Workshops Algorithmen und Werkzeuge für Petrinetze (AWPN), 9 - 17, Hamburg, 2006.
  • G. Juhas, R.Lorenz, S. Mauser: Synchronous + Concurrent + Sequential = Earlier than + Not later than. Proceedings of the 6th international conference on Application of Concurrency to System Design (ACSD), 261 - 270, IEEE Computer Society, 2006.
  • Development team for tool paper: 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 (ICATPN), LNCS, vol. 4024, 381 - 390, Springer, 2006.
  • S. Mauser: Semantiken von Petrinetzen - ein algebraischer Ansatz, der zwischen nebenläufigem und synchronem Verhalten unterscheidet. Diplomarbeit im Fach Informatik an der Katholischen Universität Eichstätt-Ingolstadt, 2006.
  • Development team for tool paper: J. Desel, G. Juhas, R. Lorenz, V. Milijic, C. Neumair: Modelling and Validation with VipTool. Proceedings of the 1st international conference on Business Process Management (BPM), LNCS, vol. 2678, 380 - 389, Springer, 2003.

Workshop- und Konferenzvorträge

  • Juni 2010: Eingeladener Vortrag: Synthesis of Petri Nets From Partially Ordered Runs. Workshop: Applications of Region Theory, ART, Braga, Portugal.
  • Juni 2010: Modelling und Mining of Collaborative Learnflows. Workshop: Applications of Region Theory, ART, Braga, Portugal.
  • Dezember 2009: Ein Vorgehensmodell zur Prozessmodellierung. Abschluss-Präsentation des Industrieprojektes Entwicklung eines Vorgehensmodells zur Prozessmodellierung im Fachbereich Beschaffung der AUDI AG, Ingolstadt.
  • September 2009: An Approach to Business Process Modeling Emphasizing the Early Design Phases. 16. Workshop Algorithmen und Werkzeuge für Petrinetze (AWPN), Karlsruhe.
  • Juli 2009: Tool Demonstration: VipTool. 9th international conference on Application of Concurrency to System Design (ACSD), Augsburg.
  • Juli 2009: Variants of the Language Based Synthesis Problem for Petri Nets. 9th international conference on Application of Concurrency to System Design (ACSD), Augsburg.
  • Juni 2009: Tool Demonstration: VipTool. 30th international conference on Application and Theory of Petri Nets (ICATPN),Paris, Frankreich.
  • September 2008: Synthese von Petrinetzen aus unendlichen partiellen Sprachen mit VipTool. 15. Workshop Algorithmen und Werkzeuge für Petrinetze (AWPN), Rostock.
  • September 2008: Implementierung von Syntheseverfahren in VipTool. Petrinetz-Workshop an der HU Berlin, Berlin.
  • Juli 2008: Tool Demonstration: VipTool. 29th international conference on Application and Theory of Petri Nets (ICATPN), Xi'an, China.
  • Juli 2008: Synthesis of Petri Nets from Scenarios with VipTool. 29th international conference on Application and Theory of Petri Nets (ICATPN), Xi'an, China.
  • Juni 2008: Verfahren zur Synthese von Petrinetzen aus partiellen Sprachen. Workshop within the cooperation of KU Eichstätt-Ingolstadt and STU Bratislava, Eichstätt.
  • März 2008: Synthesis of Petri Nets for Business Process Design. Workshop Verhaltensmodellierung: Best Practices und neue Erkenntnisse an der Modellierung, Berlin.
  • September 2007: Towards Applicability of Language Based Synthesis for Process Mining. 14. Workshop Algorithmen und Werkzeuge für Petrinetze (AWPN), Koblenz.
  • Juli 2007: Tool Demonstration: VipTool. 7th international conference on Application of Concurrency to System Design (ACSD), Bratislava, Slowakei.
  • Juni 2007: Tool Demonstration: VipTool. 28th international conference on Application and Theory of Petri Nets (ICATPN), Siedlce, Polen.
  • Juni 2007: Complete Process Semantics for Inhibitor Nets. 28th international conference on Application and Theory of Petri Nets (ICATPN), Siedlce, Polen.
  • März 2007: Process Mining. Projekttreffen des DAAD-Projektes Scenario Based Approaches for Misbehaviour Detection in Ad Hoc Wireless Networks (SAMANET), Bratislava, Slowakei.
  • September 2006: Synthese von Inhibitor-Netzen aus geschichteten Ordnungsstrukturen. 13. Workshop Algorithmen und Werkzeuge für Petrinetze (AWPN), Hamburg.
  • Juni 2006: Tool Demonstration: VipTool. 27th international conference on Application and Theory of Petri Nets (ICATPN), Turku, Finland.
  • Juni 2006: Synchronous + Concurrent + Sequential = Earlier than + Not later than. 6th international conference on Application of Concurrency to System Design (ACSD), Turku, Finland.
10.05.2024