Michael Haustermann

Publication Activity (10 Years)

Years Active: 2012-2023
Publications (10 Years): 19

Top Topics

Colored Petri Nets

Discrete Event Systems

Top Venues

PNSE @ Petri Nets

Trans. Petri Nets Other Model. Concurr.

PNSE@Petri Nets

Publications

Daniel Moldt, Jonte Johnsen, Relana Streckenbach, Laif-Oke Clasen, Michael Haustermann, Alexander Heinze, Marcel Hansson, Matthias Feldmann, Karl Ihlenfeldt
RENEW: Modularized Architecture and New Features. Petri Nets (2023)
Lukas Voß, Sven Willrodt, Daniel Moldt, Michael Haustermann
Between Expressiveness and Verifiability: P/T-nets with Synchronous Channels and Modular Structure. PNSE@Petri Nets (2022)
Helena Barbas, Marcus Soll, Jakob Smedegaard Andersen, Esther Bender, Fabian Hamann, Michael Haustermann, Daniel Sitzmann
The MINTFIT Computer Science Online Course. GeCon (2022)
Michael Haustermann, David Mosteller, Daniel Moldt
Model Checking of Synchronized Domain-Specific Multi-formalism Models Using High-Level Petri Nets. Petri Nets (2021)
David Mosteller, Michael Haustermann, Daniel Moldt, Dennis Schmitz
Integrated Simulation of Domain-Specific Modeling Languages with Petri Net-based Transformational Semantics. EMISA Forum 40 (1) (2020)
David Mosteller, Michael Haustermann, Leonie S. Dreschler-Fischer
Graphical Languages for Functional Reactive Modeling based on Petri nets. PNSE@Petri Nets (2020)
David Mosteller, Michael Haustermann, Daniel Moldt, Dennis Schmitz
The RMT Approach: A Systematic Approach to the Development of DSML with Integrated Simulation Based on Petri Nets. EMISA (2020)
Michael Simon, Daniel Moldt, Dennis Schmitz, Michael Haustermann
Tools for Curry-Coloured Petri Nets. Petri Nets (2019)
David Mosteller, Michael Haustermann, Daniel Moldt, Dennis Schmitz
Integrated Simulation of Domain-Specific Modeling Languages with Petri Net-Based Transformational Semantics. Trans. Petri Nets Other Model. Concurr. 14 (2019)
Dennis Schmitz, Daniel Moldt, Michael Haustermann, David Mosteller, Christian Röder
Team Coordination Based on Causal Nets with Synchronous Channels. ACSD (2018)
David Mosteller, Michael Haustermann, Daniel Moldt, Dennis Schmitz
Graphical Simulation Feedback in Petri Net-based Domain-Specific Languages within a Meta-Modeling Environment. PNSE@Petri Nets/ACSD (2018)
Pascale Möller, Michael Haustermann, David Mosteller, Dennis Schmitz
Model Synchronization and Concurrent Simulation of Multiple Formalisms Based on Reference Nets. Trans. Petri Nets Other Model. Concurr. 13 (2018)
Lawrence Cabac, Michael Haustermann, David Mosteller
Software development with Petri nets and agents: Approach, frameworks and tool set. Sci. Comput. Program. 157 (2018)
Pascale Möller, Michael Haustermann, David Mosteller, Dennis Schmitz
Simulating Multiple Formalisms Concurrently Based on Reference Nets. PNSE @ Petri Nets (2017)
Dennis Schmitz, Daniel Moldt, Lawrence Cabac, David Mosteller, Michael Haustermann
Utilizing Petri Nets for Teaching in Practical Courses on Collaborative Software Engineering. ACSD (2016)
David Mosteller, Michael Haustermann
Case Studies of the Renew Meta-Modeling and Transformation Framework. PNSE @ Petri Nets (2016)
David Mosteller, Lawrence Cabac, Michael Haustermann
Integrating Petri Net Semantics in a Model-Driven Approach: The Renew Meta-Modeling and Transformation Framework. Trans. Petri Nets Other Model. Concurr. 11 (2016)
Lawrence Cabac, Michael Haustermann, David Mosteller
Renew 2.5 - Towards a Comprehensive Integrated Development Environment for Petri Net-Based Applications. Petri Nets (2016)
Jan Hicken, Michael Haustermann, Daniel Moldt
Refining the Quick Fix for the Petri Net Modeling Tool Renew. PNSE @ Petri Nets (2016)
Lawrence Cabac, Michael Haustermann, David Mosteller
Renew - The Reference Net Workshop. PNSE @ Petri Nets (2015)
Jan Henrik Röwekamp, Michael Haustermann
Applying Petri Nets to Approximation of the Euclidean Distance with the Example of SIFT. PNSE @ Petri Nets (2015)
Jan Hicken, Lawrence Cabac, Michael Haustermann
Introducing the Quick Fix for the Petri Net Modeling Tool Renew. PNSE @ Petri Nets (2015)
David Mosteller, Lawrence Cabac, Michael Haustermann
Providing Petri Net-Based Semantics in Model Driven-Development for the Renew Meta-Modeling Framework. PNSE @ Petri Nets (2015)
Julian Burkhart, Michael Haustermann
PetriPad A Collaborative Petri Net Editor. PNSE (2012)