Veröffentlichungen "Mauser, Sebastian"

2012

• Bergenthum, Robin ; Desel, Jörg ; Harrer, Andreas ; Mauser, Sebastian:
  Modeling and Mining of Learnflows.
  In: Kleijn, Jetty ; Donatelli, Susanna (Hrsg.): Transactions on Petri Nets and Other Models of Concurrency. - Berlin : Springer, 2012. - (Lecture Notes in Computer Science)
  (Begutachteter Beitrag / peer-reviewed paper)

2009

• Bergenthum, Robin ; Mauser, Sebastian:
  Werkzeug Demonstration VipTool.
  2009
  Veranstaltung: 9th International Conference on Application of Concurrency to System Design, 1.-3. Juli 2009, Augsburg.
  (Veranstaltungsbeitrag: Kongress/Konferenz/Symposium/Tagung, Sonstiger Präsentationstyp)
• Bergenthum, Robin ; Mauser, Sebastian:
  Werkzeugpräsentation VipTool.
  2009
  Veranstaltung: 30th International Conference on Application and Theory of Petri Nets, 22.-26. Juni 2009, Paris, Frankreich.
  (Veranstaltungsbeitrag: Kongress/Konferenz/Symposium/Tagung, Sonstiger Präsentationstyp)
• Mauser, Sebastian ; Lorenz, Robert:
  Variants of the language based synthesis problem for Petri Nets.
  2009
  Veranstaltung: 9th International Conference on Application of Concurrency to System Design, 1.-3. Juli 2009, Augsburg.
  (Veranstaltungsbeitrag: Kongress/Konferenz/Symposium/Tagung, Paper)
• Bergenthum, Robin ; Desel, Jörg ; Lorenz, Robert ; Mauser, Sebastian:
  Synthesis of Petri nets from term based representations of infinite partial languages.
  In: Fundamenta informaticae. 95 (2009) 1. - S. 187-217.
  ISSN 0169-2968
  (Peer-Review-Journal)
• Lorenz, Robert ; Juhás, Gabriel ; Bergenthum, Robin ; Desel, Jörg ; Mauser, Sebastian:
  Executability of scenarios in Petri Nets.
  In: Theoretical computer science : the journal of the EATCS. 410 (2009) 12/13. - S. 1190-1216.
  ISSN 0304-3975
  (Peer-Review-Journal)
• Bergenthum, Robin ; Desel, Jörg ; Harrer, Andreas ; Mauser, Sebastian:
  Modellierung und Mining kollaborativer Learnflows.
  In: Eckleder, Andreas ; Freytag, Thomas (Hrsg.): Algorithmen und Werkzeuge für Petrinetze : proceedings of the 16th German Workshop on Algorithms and Tools for Petri Nets, AWPN 2009 Karlsruhe, Germany, September 25, 2009. - Aachen : Ceur, 2009. - S. 1-8. - (Ceur Workshop Proceedings ; 501)
  ISSN 1613-0073
  (Begutachteter Beitrag / peer-reviewed paper)
• Mauser, Sebastian ; Bergenthum, Robin ; Desel, Jörg ; Klett, Andreas:
  An approach to business process modelling emphasizing the early design phases.
  In: Eckleder, Andreas ; Freytag, Thomas (Hrsg.): Algorithmen und Werkzeuge für Petrinetze : proceedings of the 16th German Workshop on Algorithms and Tools for Petri Nets, AWPN 2009 Karlsruhe, Germany, September 25, 2009. - Aachen : Ceur, 2009. - (Ceur Workshop Proceedings ; 501)
  ISSN 1613-0073
• Bergenthum, Robin ; Desel, Jörg ; Mauser, Sebastian ; Lorenz, Robert:
  Construction of process models from example runs.
  In: Hutchison, David ; Aalst, Wil M. P. ; Jensen, Kurt ; Kanade, Takeo ; Kittler, Josef ; Kleinberg, Jon M. ; Mattern, Friedemann ; Mitchell, John C. ; Naor, Moni ; Nierstrasz, Oscar ; Pandu Rangan, C. ; Steffen, Bernhard ; Sudan, Madhu ; Terzopoulos, Demetri ; Tygar, Doug ; Vardi, Moshe Y. ; Weikum, Gerhard (Hrsg.): Transactions on Petri Nets and other models of concurrency II : special issue on concurrency in process-aware information systems. - Berlin ; Heidelberg : Springer, 2009. - S. 243-259. - (Lecture notes in computer science ; 5460)
  ISBN 978-3-642-00899-3 ; 978-3-642-00898-6
• Bergenthum, Robin ; Desel, Jörg ; Mauser, Sebastian:
  Comparison of different algorithms to synthesize a Petri net from a partial language.
  In: Transactions on Petri nets and other models of concurrency. (2009). - S. 216-243.
  ISSN 1867-7193
• Juhás, Gabriel ; Lorenz, Robert ; Mauser, Sebastian:
  Partial order semantics of types of nets.
  In: Nielsen, Mogens ; Hutchison, David ; Kanade, Takeo ; Kittler, Josef ; Kleinberg, Jon M. ; Kučera, Antonín ; Mattern, Friedemann ; Miltersen, Peter Bro ; Mitchell, John C. ; Naor, Moni (Hrsg.): SOFSEM 2009 : theory and practice of Computer Science ; 35th Conference on Current Trends in Theory and Practice of Computer Science, Špindlerův Mlýn, Czech Republic, January 24-30, 2009 ; Proceedings. - Heidelberg : Springer, 2009. - S. 388-400. - (Lecture notes in computer science ; 5404)
  ISBN 978-3-540-95891-8

2008

• Bergenthum, Robin ; Mauser, Sebastian:
  Comparison of different algorithms to synthesize a Petri Net from a Partial Language.
  2008
  Veranstaltung: International Conference on Application and Theory of Petri Nets and Other Models of Concurrency <29, 2008, Xi'an>, 23.-27. Juni 2008, Xi'an, China.
  (Veranstaltungsbeitrag: Workshop, Vortrag)
• Bergenthum, Robin ; Desel, Jörg ; Kölbl, Christian ; Mauser, Sebastian:
  Experimental results on process mining based on regions of languages.
  2008
  Veranstaltung: CHINA 2008, workshop at the Applications and theory of Petri nets : 29th international conference, 23.-27.6. 2008, Xi'an, China.
  (Veranstaltungsbeitrag: Workshop, Vortrag)
• Mauser, Sebastian:
  Implementierung von Syntheseverfahren in VipTool.
  2008
  Veranstaltung: Workshop des Graduiertenkollegs Konzeptuelle Modellierung von Katastrophenmanagementprozessen, September 2008, Berlin.
  (Veranstaltungsbeitrag: Workshop, Vortrag)
• Bergenthum, Robin ; Desel, Jörg ; Mauser, Sebastian:
  Synthesis of Petri nets for business process design.
  2008
  Veranstaltung: Verhaltensmodellierung: Best Practices und neue Erkenntnisse ; Workshop an der Modellierung 2008, 12.-14. März 2008, Berlin.
  (Veranstaltungsbeitrag: Workshop, Vortrag)
• Bergenthum, Robin ; Mauser, Sebastian:
  Synthesis of Petri Nets from Infinite Partial Languages with VipTool.
  2008
  Veranstaltung: 15. Workshop Algorithmen und Werkzeuge für Petrinetze (AWPN), Rostock.
  (Veranstaltungsbeitrag: Workshop, Vortrag)
• Bergenthum, Robin ; Mauser, Sebastian:
  Werkzeugpräsentation VipTool.
  2008
  Veranstaltung: 29. International Conference on Application and Theory of Petri Nets, Juli 2008, Xi'an, China.
  (Veranstaltungsbeitrag: Kongress/Konferenz/Symposium/Tagung, Sonstiger Präsentationstyp)
• Juhás, Gabriel ; Lorenz, Robert ; Mauser, Sebastian:
  Causal semantics of algebraic Petri Nets distinguishing concurrency and synchronicity.
  In: Fundamenta informaticae. 86 (2008) 3. - S. 255-298.
  (Peer-Review-Journal)
• Juhás, Gabriel ; Lorenz, Robert ; Mauser, Sebastian:
  Complete process semantics of Petri Nets.
  In: Fundamenta informaticae. 87 (2008) 3/4. - S. 331-365.
  ISSN 0169-2968
  (Peer-Review-Journal)
• Bergenthum, Robin ; Desel, Jörg ; Lorenz, Robert ; Mauser, Sebastian:
  Synthesis of Petri nets from finite partial languages.
  In: Fundamenta informaticae. 88 (2008) 4. - S. 437-468.
  ISSN 0169-2968
  (Peer-Review-Journal)
• Bergenthum, Robin ; Desel, Jörg ; Lorenz, Robert ; Mauser, Sebastian:
  Synthesis of Petri nets from infinite partial languages.
  In: Billington, J. ; Duan, Z. ; Koutny, M. (Hrsg.): Proceedings of the 8th International Conference on Applications of Concurrency to System Design (ACSD). - Los Alamitos, USA : IEEE Computer Society, 2008. - S. 170-179
• Bergenthum, Robin ; Desel, Jörg ; Lorenz, Robert ; Mauser, Sebastian:
  Synthesis of Petri Nets from Scenarios with VipTool.
  In: Hee, Kees Max van: Applications and theory of Petri nets : 29th international conference, PETRI NETS 2008, Xi'an, China, June 23 - 27, 2008 ; proceedings. - Heidelberg : Springer, 2008. - S. 388-398
  ISBN 978-3-540-68746-7 ; 3-540-68745-9 ; 978-3-540-68745-0
• Bergenthum, Robin ; Lorenz, Robert ; Mauser, Sebastian:
  Faster Unfolding of General Petri Nets Based on Token Flows.
  In: Kees M. van Hee ; Valk, R. (Hrsg.): Applications and theory of Petri nets : 29th international conference, PETRI NETS 2008, Xián, China, June 23-27, 2008 ; proceedings. - Heidelberg : Springer, 2008. - S. 388-398. - (Lecture notes in computer science ; 5062)
  ISBN 3-540-68745-9 ; 978-3-540-68745-0
• Bergenthum, Robin ; Desel, Jörg ; Harrer, Andreas ; Mauser, Sebastian:
  Learnflow mining.
  In: Seehusen, Silke ; Lucke, U. ; Fischer, S.: DeLFI 2008 : die 6. e-Learning-Fachtagung Informatik der Gesellschaft für Informatik e.V. ; 07. - 10. September 2008 in Lübeck, Germany. - Bonn : Gesellschaft für Informatik, 2008. - S. 269-280. - (GI-Edition. Proceedings ; 132)
  ISBN 978-3-88579-226-0
  (Begutachteter Beitrag / peer-reviewed paper)

2007

• Bergenthum, Robin ; Mauser, Sebastian:
  Werkzeugpräsentation VipTool.
  2007
  Veranstaltung: 28th International Conference on Application and Theory of Petri Nets, 25.-29. Juni 2007, Siedlce, Polen.
  (Veranstaltungsbeitrag: Kongress/Konferenz/Symposium/Tagung, Sonstiger Präsentationstyp)
• Bergenthum, Robin ; Lorenz, Robert ; Mauser, Sebastian:
  Towards applicability of language based synthesis for process mining.
  2007
  Veranstaltung: 14. Workshop Algorithmen und Werkzeuge für Petrinetze (AWPN), 20.-21. Sept. 2007, Koblenz.
  (Veranstaltungsbeitrag: Workshop, Vortrag)
• Bergenthum, Robin ; Lorenz, Robert ; Mauser, Sebastian:
  Faster Unfolding of General Petri Nets.
  2007
  Veranstaltung: 14. Workshop Algorithmen und Werkzeuge für Petrinetze (AWPN), 20.-21. September 2007, Koblenz, Deutschland.
  (Veranstaltungsbeitrag: Workshop, Vortrag)
• Bergenthum, Robin ; Mauser, Sebastian:
  Experimental Results on the Synthesis of Petri Nets from Partial Languages.
  In: Petri net newsletter. 73 (2007). - S. 3-10.
  ISSN 0931-1084 ; 0173-7473
• Bergenthum, Robin ; Desel, Jörg ; Lorenz, Robert ; Mauser, Sebastian:
  Process mining based on regions of languages.
  In: Business Process Management : 5th International Conference, BPM 2007, Brisbane, Australia, September 24-28, 2007 ; Proceedings. - Heidelberg : Springer, 2007. - S. 375-383. - (Lecture notes in computer science ; 7414)
• Bergenthum, Robin ; Desel, Jörg ; Lorenz, Robert ; Mauser, Sebastian:
  Technical Report including proofs: Process Mining Based on Regions of Languages.
  In: Business process management : 5th international conference, BPM 2007, Brisbane, Australia, September 24-28, 2007 ; proceedings / Gustavo Alonso; Peter Dadam; Michael Rosemann (eds.). - Berlin u.a. : Springer, 2007. - S. 375-383. - (Lecture notes in computer science ; 4714)
  ISBN 978-3-540-75182-3
• Juhás, Gabriel ; Lorenz, Robert ; Mauser, Sebastian:
  Complete Process Semantics for Inhibitor Nets.
  In: Petri nets and other models of concurrency - ICATPN 2007 : 28th International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency, ICATPN 2007, Siedlce, Poland, June 25 - 29, 2007 ; proceedings / Jetty Kleijn; Alex Yakovlev (eds.). - Berlin u.a. : Springer, 2007. - S. 342-361. - (Lecture notes in computer science ; 4546)
  ISBN 978-3-540-73093-4
• Lorenz, Robert ; Bergenthum, Robin ; Mauser, Sebastian:
  Theory of Regions for the Synthesis of Inhibitor Nets from Scenarios.
  In: Petri nets and other models of concurrency - ICATPN 2007 : 28th International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency, ICATPN 2007, Siedlce, Poland, June 25 - 29, 2007 ; proceedings / Jetty Kleijn; Alex Yakovlev (eds.). - Berlin u.a. : Springer, 2007. - S. 342-361. - (Lecture notes in computer science ; 4546)
  ISBN 978-3-540-73093-4
• Lorenz, Robert ; Bergenthum, Robin ; Desel, Jörg ; Mauser, Sebastian:
  Synthesis of Petri nets from finite partial languages.
  In: Seventh International Conference on Application of Concurrency to System Design : ACSD 2007 : proceedings : 10-13 July, 2007, Bratislava, Slovak Republic / edited by Twan Basten, Gabriel Juhás, Sandeep Shukla. - Los Alamitos, Calif. : IEEE Computer Society, 2007. - S. 157-166
  ISBN 0-7695-2902-X
• Lorenz, Robert ; Bergenthum, Robin ; Mauser, Sebastian:
  Testing the Executability of Scenarios in General Inhibitor Nets.
  In: Seventh International Conference on Application of Concurrency to System Design : ACSD 2007 : proceedings : 10-13 July, 2007, Bratislava, Slovak Republic / edited by Twan Basten, Gabriel Juhás, Sandeep Shukla. - Los Alamitos, Calif. : IEEE Computer Society, 2007. - S. 167-176
  ISBN 0-7695-2902-X
• Lorenz, Robert ; Juhás, Gabriel ; Mauser, Sebastian:
  How to Synthesize Nets from Languages : a Survey.
  In: WSC '07 : proceedings of the 39th Conference on Winter Simulation 2007 ; Washington, D.C., December 09 - 12, 2007 ; 40 years! ; the best is yet to come. - New York, NY : IEEE Computer Society, 2007. - S. 637-647
  ISBN 1-4244-1306-0

2006

• Bergenthum, Robin ; Mauser, Sebastian:
  Werkzeugpräsentation VipTool.
  2006
  Veranstaltung: 27. International Conference on Application and Theory of Petri Nets, 28.-30. Juni 2006, Turku, Finnland.
  (Veranstaltungsbeitrag: Kongress/Konferenz/Symposium/Tagung, Präsentation)
• Bergenthum, Robin ; Lorenz, Robert ; Mauser, Sebastian:
  Synthese von S/T-Netzen aus unendlichen partiellen Sprachen.
  2006
  Veranstaltung: 13. Workshop Algorithmen und Werkzeuge für Petrinetze (AWPN), 25.-26. Sept. 2006, Hamburg.
  (Veranstaltungsbeitrag: Workshop, Vortrag)
• Bergenthum, Robin ; Lorenz, Robert ; Mauser, Sebastian:
  Synthese von Inhibitor-Netzen aus geschichteten Ordnungsstrukturen.
  2006
  Veranstaltung: 13. Workshop Algorithmen und Werkzeuge für Petrinetze (AWPN), 25.-26. Sept. 2006, Hamburg.
  (Veranstaltungsbeitrag: Workshop, Vortrag)
• Juhás, Gabriel ; Lorenz, Robert ; Mauser, Sebastian:
  Synchronous + Concurrent + Sequential = Earlier than + Not later than.
  In: Proceedings / Sixth International Conference on Application of Concurrency to System Design (ACSD 2006) : 28 - 30 June 2006, Turku, Finland / ed. by Kees Goossens ... - Los Alamitos, Calif. : IEEE Computer Society, 2006. - S. 261-270
  ISBN 978-0-7695-2556-3