Zur Hauptnavigation
Zum Inhaltsbereich
Zur Suche
Zum Seitenfuß
Theoretische Grundlagen der Informatik
TGI
Personen
Lehre
Forschung
Publikationen
Misc
Petri Nets World
TGI
Heimatseite
Ankündigungen
Personen
Mitarbeiterinnen und Mitarbeiter
Studentinnen und Studenten
Lehre
Lehre
Abschlussarbeiten
Forschung
Publikationen
Service
Service
Tools
Petri Nets World
UHH
>
MIN
>
Informatik
>
TGI
Bibliographie
Michael Haustermann
2023
Olaf Kummer
, Frank Wienberg,
Michael Duvigneau
,
Lawrence Cabac
,
Michael Haustermann
, and
David Mosteller
.
Renew - the Reference Net Workshop
, February 2023.
Release 4.1.
[link]
Olaf Kummer
, Frank Wienberg,
Michael Duvigneau
,
Lawrence Cabac
,
Michael Haustermann
, and
David Mosteller
.
Renew - User Guide (Release 4.1)
.
University of Hamburg, Faculty of Informatics, Theoretical Foundations Group, Hamburg, February 2023.
[link]
2022
Olaf Kummer
, Frank Wienberg,
Michael Duvigneau
,
Lawrence Cabac
,
Michael Haustermann
, and
David Mosteller
.
Renew - the Reference Net Workshop
, April 2022.
Release 2.6.
[link]
Olaf Kummer
, Frank Wienberg,
Michael Duvigneau
,
Lawrence Cabac
,
Michael Haustermann
, and
David Mosteller
.
Renew - User Guide (Release 2.6)
.
University of Hamburg, Faculty of Informatics, Theoretical Foundations Group, Hamburg, April 2022.
[link]
Olaf Kummer
, Frank Wienberg,
Michael Duvigneau
,
Lawrence Cabac
,
Michael Haustermann
, and
David Mosteller
.
Renew - the Reference Net Workshop
, April 2022.
Release 4.0.
[link]
Olaf Kummer
, Frank Wienberg,
Michael Duvigneau
,
Lawrence Cabac
,
Michael Haustermann
, and
David Mosteller
.
Renew - User Guide (Release 4.0)
.
University of Hamburg, Faculty of Informatics, Theoretical Foundations Group, Hamburg, April 2022.
[link]
2020
Olaf Kummer
, Frank Wienberg,
Michael Duvigneau
,
Lawrence Cabac
,
Michael Haustermann
, and
David Mosteller
.
Renew - the Reference Net Workshop
, November 2020.
Release 2.5.1.
[link]
Olaf Kummer
, Frank Wienberg,
Michael Duvigneau
,
Lawrence Cabac
,
Michael Haustermann
, and
David Mosteller
.
Renew - User Guide (Release 2.5.1)
.
University of Hamburg, Faculty of Informatics, Theoretical Foundations Group, Hamburg, November 2020.
[link]
Daniel Moldt
and
Michael Haustermann
.
Erfahrungsbericht zum Lehrlabor-Projekt: Videofeedback in Online-Selbsttests (VideoFOS)
.
Technical report, Universität Hamburg, Universitätskolleg, October 2020.
[link]
2019
Daniel Moldt
and
Michael Haustermann
.
Erfahrungsbericht zum Lehrlabor-Projekt: FormAdTe - Formative Adaptive Tests
.
Technical report, Universität Hamburg, Universitätskolleg, April 2019.
[link]
David Mosteller
,
Michael Haustermann
,
Daniel Moldt
, and
Dennis Schmitz
.
Integrated simulation of domain-specific modeling languages with Petri net-based transformational semantics
.
In
T. Petri Nets and Other Models of Concurrency
(Hrsg.),
Transactions on Petri Nets and Other Models of Concurrency XIV
, pages 101-125.
[link]
2018
Daniel Moldt
,
Dennis Schmitz
,
Michael Haustermann
, Matthias Feldmann,
David Mosteller
,
Thomas Wagner
, Jan Henrik Röwekamp,
Lawrence Cabac
, and Michael Simon.
Some ideas for modeling a generic IoT- and Edge-Computing architecture
.
In Lorenz and Metzger (Hrsg.),
Algorithms and Tools for Petri Nets, Proceedings of the 21th Workshop AWPN 2018, Augsburg, Germany
, pages 33-40.
David Mosteller
,
Michael Haustermann
,
Daniel Moldt
, and
Dennis Schmitz
.
Graphical simulation feedback in Petri net-based domain-specific languages within a meta-modeling environment
.
In Moldt et al. (Hrsg.),
Petri Nets and Software Engineering. International Workshop, PNSE'18, Bratislava, Slovakia, June 25-26, 2018. Proceedings
, pages 56-75.
Dennis Schmitz
,
Daniel Moldt
,
Michael Haustermann
,
David Mosteller
, and
Christian Röder
.
Team coordination based on causal nets with synchronous channels
.
In
18th International Conference on Application of Concurrency to System Design, ACSD 2018, Bratislava, Slovakia, June 27-29, 2018
(Hrsg.),
18th International Conference on Application of Concurrency to System Design, ACSD 2018, Bratislava, Slovakia, June 27-29, 2018
, pages 60-69.
[link]
Martin Wincierz,
Daniel Moldt
, and
Michael Haustermann
.
Improvement of the R
ENEW
editor user interface.
In Lorenz and Metzger (Hrsg.),
Algorithms and Tools for Petri Nets, Proceedings of the 21th Workshop AWPN 2018, Augsburg, Germany
, pages 55-56.
2017
Pascale Möller,
Michael Haustermann
,
David Mosteller
, and
Dennis Schmitz
.
Simulating multiple formalisms concurrently based on reference nets
.
In Moldt et al. (Hrsg.),
Petri Nets and Software Engineering. International Workshop, PNSE'17, Zaragoza, Spain, June 25-26, 2017. Proceedings
, pages 137-156.
David Mosteller
,
Michael Haustermann
, and
Daniel Moldt
.
Prototypical graphical simulation feedback in reference net-based domain-specific languages within a meta-modeling environment
.
In Bergenthum and Kindler (Hrsg.),
Algorithms and Tools for Petri Nets Proceedings of the Workshop AWPN 2017, Kgs. Lyngby, Denmark October 19-20, 2017
, pages 58-63.
2016
Jan Hicken,
Michael Haustermann
, and
Daniel Moldt
.
Refining the quick fix for the Petri net modeling tool Renew
.
In Cabac et al. (Hrsg.),
Petri Nets and Software Engineering. International Workshop, PNSE'16, Toru\'n, Poland, June 20-21, 2016. Proceedings
, pages 275-286.
[link]
Olaf Kummer
, Frank Wienberg,
Michael Duvigneau
,
Lawrence Cabac
,
Michael Haustermann
, and
David Mosteller
.
Renew - the Reference Net Workshop
, June 2016.
Release 2.5.
[link]
Olaf Kummer
, Frank Wienberg,
Michael Duvigneau
,
Lawrence Cabac
,
Michael Haustermann
, and
David Mosteller
.
Renew - User Guide (Release 2.5)
.
University of Hamburg, Faculty of Informatics, Theoretical Foundations Group, Hamburg, June 2016.
[link]
David Mosteller
and
Michael Haustermann
.
Case studies of the Renew meta-modeling and transformation framework
.
In Cabac et al. (Hrsg.),
Petri Nets and Software Engineering. International Workshop, PNSE'16, Toru\'n, Poland, June 20-21, 2016. Proceedings
, pages 343-344.
Dennis Schmitz
,
Daniel Moldt
,
Lawrence Cabac
,
David Mosteller
, and
Michael Haustermann
.
Utilizing Petri Nets for Teaching in Practical Courses on Collaborative Software Engineering
.
In
16th International Conference on Application of Concurrency to System Design, ACSD 2016, Torun, Poland, June 19-24, 2016
(Hrsg.),
16th International Conference on Application of Concurrency to System Design, ACSD 2016, Toru\'n, Poland, June 19-24, 2016
, pages 74-83.
2015
Lawrence Cabac
,
Michael Haustermann
, and
David Mosteller
.
Renew - the reference net workshop
.
In Moldt et al. (Hrsg.),
Petri Nets and Software Engineering. International Workshop, PNSE'15, Brussels, Belgium, June 22-23, 2015. Proceedings
, pages 313-314.
Jan Hicken,
Lawrence Cabac
, and
Michael Haustermann
.
Introducing the quick fix for the Petri net modeling tool Renew
.
In Moldt et al. (Hrsg.),
Petri Nets and Software Engineering. International Workshop, PNSE'15, Brussels, Belgium, June 22-23, 2015. Proceedings
, pages 317-318.
David Mosteller
,
Lawrence Cabac
, and
Michael Haustermann
.
Providing Petri net-based semantics in model driven-development for the Renew meta-modeling framework
.
In Moldt et al. (Hrsg.),
Petri Nets and Software Engineering. International Workshop, PNSE'15, Brussels, Belgium, June 22-23, 2015. Proceedings
, pages 99-114.
Jan Henrik Röwekamp and
Michael Haustermann
.
Applying Petri nets to approximation of the Euclidean distance with the example of SIFT
.
In Moldt et al. (Hrsg.),
Petri Nets and Software Engineering. International Workshop, PNSE'15, Brussels, Belgium, June 22-23, 2015. Proceedings
, pages 323-324.
2014
Michael Haustermann
.
BPMN-Modelle für petrinetzbasierte agentenorientierte Softwaresysteme auf Basis von Mulan/Capa
.
Masterarbeit, Universität Hamburg, Fachbereich Informatik, Vogt-Kölln Str. 30, D-22527 Hamburg, September 2014.
2012
Julian Burkhart and
Michael Haustermann
.
PetriPad - a collaborative Petri net editor
.
In Cabac et al. (Hrsg.),
Petri Nets and Software Engineering. International Workshop PNSE'12, Hamburg, Germany, June 2012. Proceedings
, pages 181-195.
[link]
2010
Michael Haustermann
.
Analyse von Workflows auf Basis von Petrinetzen
.
Bachelorarbeit, Universität Hamburg, Department Informatik, Vogt-Kölln Str. 30, D-22527 Hamburg, March 2010.
Impressum
Letzte Änderung: 15:16 05.06.2024