Zur Hauptnavigation
Zum Inhaltsbereich
Zur Suche
Zum Seitenfuß
Fundamente Teoretici de Informatică
TGI
Education
Misc
Petri Nets World
TGI
Education
Service
Petri Nets World
UHH
>
MIN
>
Informatică
>
TGI
Bibliography
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
,
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 ,
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. ,
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
,
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 ,
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. ,
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 ,
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. ,
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. ,
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
,
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. ,
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. ,
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. ,
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. ,
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. ,
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
Ultima actualizare: 15:16 05-06-2024