Michael Köhler-Bußmeier

58 papers B 5C 1Misc 6Journal 17Unranked 26
YearRankTypeTitle / Venue / Authors
2026 Misc conf
Integral Implementation of Higher-Order Algebraic Petri Nets in Maude.
ICDCIT
Lorenzo Capra, Michael Köhler-Bußmeier
2025 Misc conf
A "Symbolic" Representation of Object-Nets.
ICDCIT
Michael Köhler-Bußmeier, Lorenzo Capra
2025 — conf
Algebraic Petri Nets with Active Tokens: Effective Implementation in Maude.
PNSE/ATAED/PeNGE@PETRI NETS
Lorenzo Capra, Michael Köhler-Bußmeier
2025 B conf
Analysing Probabilistic Hornets.
Petri Nets
Michael Köhler-Bußmeier, Lorenzo Capra
2025 — ed.
Joint Proceedings of the Workshops at the 46th International Conference on Application and Theory of Petri Nets and Concurrency: Petri Nets and Software Engineering (PNSE'25), Algorithms & Theories for the Analysis of Event Data (ATAED'25), and Petri Net Games, Examples and Quizzes for Education, Contest and Fun (PeNGE'25) co-located with PETRI NETS 2025, June 23 - 24, 2025, Paris, France.
PNSE/ATAED/PeNGE@PETRI NETS
Michael Köhler-Bußmeier, Daniel Moldt, Heiko Rölke, Robin Bergenthum, Andrey Rivkin, Jan Martijn E. M. van der Werf, Jörg Desel, Laure Petrucci
2025 — conf
Modelling and Analysis of Self-Adaptive Systems using Petri Nets: A Robot Kitchen Case Study.
PNSE/ATAED/PeNGE@PETRI NETS
Finn Wellershaus, Michael Köhler-Bußmeier, Jan Sudeikat
2024 — conf
Assets, Artifacts and (Multi-)Agents: On Enacting Adaptive Organizations in Cyber-physical Systems: Invited Talk.
INFORMATIK
Jan Sudeikat, Michael Köhler-Bußmeier
2024 Misc ed.
Intelligent Distributed Computing XVI - 16th International Symposium on Intelligent Distributed Computing, IDC 2023, Hamburg, Germany, September 13-15, 2023
IDC
Michael Köhler-Bußmeier, Wolfgang Renz, Jan Sudeikat
2024 C conf
Modelling and Simulation of Adaptive Multi-Agent Systems with Stochastic Nets-within-Nets.
IJCCI
Michael Köhler-Bußmeier, Lorenzo Capra
2024 J jnl
Modular rewritable Petri nets: An efficient model for dynamic distributed systems.
Theor. Comput. Sci.
Lorenzo Capra, Michael Köhler-Bußmeier
2024 J jnl
Probabilistic Nets-within-Nets.
CoRR
Michael Köhler-Bußmeier
2023 J jnl
Analysing Adaption Processes of Hornets.
Trans. Petri Nets Other Model. Concurr.
Michael Köhler-Bußmeier, Heiko Rölke
2023 — conf
Controlled Run-Time Adaptivity in Industrial Agent Systems - Challenges and Research Prospects.
GI-Jahrestagung
Jan Sudeikat, Michael Köhler-Bußmeier
2023 J jnl
Defining adaption measures for organisational multi-agent systems.
Int. J. Parallel Emergent Distributed Syst.
Michael Köhler-Bußmeier, Jan Sudeikat
2023 Misc conf
Maude Specification of Nets-Within-Nets: A Formal Model of Adaptable Distributed Systems.
SAC
Lorenzo Capra, Michael Köhler-Bußmeier
2023 — conf
Modelling Adaptive Systems with Maude Nets-within-Nets.
WorldCIST (3)
Lorenzo Capra, Michael Köhler-Bußmeier
2023 Misc conf
Studying the Micro-Macro-Dynamics in MAPE-Like Adaption Processes.
IDC
Michael Köhler-Bußmeier, Jan Sudeikat
2022 — conf
A Maude Formalization of Object Nets.
ECSA (Tracks and Workshops)
Lorenzo Capra, Michael Köhler-Bußmeier
2022 Misc conf
Balance vs. Contingency: Adaption Measures for Organizational Multi-agent Systems.
IDC
Michael Köhler-Bußmeier, Jan Sudeikat
2022 — conf
On Combining Domain Modeling and Organizational Modeling for Developing Adaptive Cyber-Physical Systems.
ICAART (1)
Jan Sudeikat, Michael Köhler-Bußmeier
2022 — conf
Towards Integrating Multi-Agent Organizations in OPC UA for Developing Adaptive Cyber-Physical Systems.
GI-Jahrestagung
Jan Sudeikat, Michael Köhler-Bußmeier
2021 — conf
Availability Analysis of the ONOS Architecture.
PNSE@Petri Nets
Michael Müller, Michael Köhler-Bußmeier
2021 — conf
Improving Drone-based Parcel Delivery in a Delivery System at its Capacity Limit.
PNSE@Petri Nets
Niclas zum Felde, Michael Köhler-Bußmeier, Jan Sudeikat
2020 — ed.
Proceedings of the International Workshop on Petri Nets and Software Engineering co-located with 41st International Conference on Application and Theory of Petri Nets and Concurrency (PETRI NETS 2020), Paris, France, June 24, 2020 (due to COVID-19: virtual conference).
PNSE@Petri Nets
Michael Köhler-Bußmeier, Ekkart Kindler, Heiko Rölke
2018 — ed.
Joint Proceedings of the Workshops at Modellierung 2018 co-located with Modellierung 2018, Braunschweig, Germany, February 21, 2018.
Modellierung (Workshops)
Ina Schaefer, Loek Cleophas, Michael Felderer, Steffen Becker, Wolfgang Böhm, Dirk Fahland, Hans-Georg Fill, Robert Heinrich, Kathrin Kirchner, Michael Köhler-Bußmeier, Marco Konersmann, Heinrich C. Mayr, Daniel Moldt, Andreas Oberweis, Felix Reher, Matthias Riebisch, Stefan Sauer, Holger Schlingloff, Bernhard Thalheim, Andreas Vogelsang, Rüdiger Weißbach, Thorsten Weyer
2017 B conf
Restricting Hornets to Support Self-adaptive Systems.
Petri Nets
Michael Köhler-Bußmeier
2016 J jnl
An Upper Bound for the Reachability Problem of Safe, Elementary Hornets.
Fundam. Informaticae
Michael Köhler-Bußmeier, Frank Heitmann
2016 — conf
From eHornets to Hybrid Agent and Workflow Systems.
PNSE @ Petri Nets
Thomas Wagner, Daniel Moldt, Michael Köhler-Bußmeier
2015 — conf
Complexity Studies for Safe and Fan-Bounded Elementary Hornets.
CS&P
Michael Köhler-Bußmeier, Frank Heitmann
2014 J jnl
A Survey of Decidability Results for Elementary Object Systems.
Fundam. Informaticae
Michael Köhler-Bußmeier
2014 — conf
An Upper Bound for the Reachability Problem of Safe, Elementary Hornets.
CS&P
Michael Köhler-Bußmeier, Frank Heitmann
2014 J jnl
On the Complexity of the Reachability Problem for Safe, Elementary Hornets.
Fundam. Informaticae
Michael Köhler-Bußmeier
2014 J jnl
Structural and Dynamic Restrictions of Elementary Object Systems.
Fundam. Informaticae
Frank Heitmann, Michael Köhler-Bußmeier
2013 B conf
Complexity Results for Elementary Hornets.
Petri Nets
Michael Köhler-Bußmeier, Frank Heitmann
2013 J jnl
Defining Multi-Party Compromises using Unfoldings of Workflow Nets.
Fundam. Informaticae
Michael Köhler-Bußmeier
2013 J jnl
Model-Driven Middleware Support for Team-Oriented Process Management.
Trans. Petri Nets Other Model. Concurr.
Matthias Wester-Ebbinghaus, Michael Köhler-Bußmeier
2013 — conf
Structural and Dynamic Restrictions of Elementary Object Systems.
CS&P
Frank Heitmann, Michael Köhler-Bußmeier
2012 J jnl
Conservative Elementary Object Systems.
Fundam. Informaticae
Michael Köhler-Bußmeier, Frank Heitmann
2012 — conf
Model-Driven Middleware Support for Team-Oriented Process Management.
PNSE
Matthias Wester-Ebbinghaus, Michael Köhler-Bußmeier
2012 — conf
Negotiating Inter-Organisational Processes.
CS&P
Michael Köhler-Bußmeier
2012 — conf
On the Complexity of Safe, Elementary Hornets.
CS&P
Michael Köhler-Bußmeier
2012 B conf
P- and T-Systems in the Nets-within-Nets-Formalism.
Petri Nets
Frank Heitmann, Michael Köhler-Bußmeier
2011 J jnl
Liveness of Safe Object Nets.
Fundam. Informaticae
Michael Köhler-Bußmeier, Frank Heitmann
2010 — conf
A Survey of Elementary Object Systems.
LAM@LICS
Michael Köhler-Bußmeier
2010 — conf
Complexity of LTL Model-Checking for Safe Object Nets.
LAM@LICS
Michael Köhler-Bußmeier, Frank Heitmann
2010 — conf
Generating Executable MAS-Prototypes from SONAR Specifications.
MALLOW
Michael Köhler-Bußmeier, Matthias Wester-Ebbinghaus, Daniel Moldt
2010 — conf
Generating Executable Multi-agent System Prototypes from SONAR Specifications.
COIN@AAMAS&MALLOW
Michael Köhler-Bußmeier, Matthias Wester-Ebbinghaus, Daniel Moldt
2010 J jnl
Modeling Organizational Units as Modular Components of Systems of Systems.
Trans. Petri Nets Other Model. Concurr.
Matthias Wester-Ebbinghaus, Daniel Moldt, Michael Köhler-Bußmeier
2010 — conf
Modelling Distributed Network Security in a Petri Net- and Agent-Based Approach.
MATES
Simon Adameit, Tobias Betz, Lawrence Cabac, Florian Hars, Marcin Hewelt, Michael Köhler-Bußmeier, Daniel Moldt, Dimitri Popov, José Ghislain Quenum, Axel Theilmann
2010 — conf
SONAR/OREDI: A Tool for Creation and Deployment of Organisation Models.
MATES
Endri Deliu, Michael Köhler-Bußmeier
2010 J jnl
Safeness for Object Nets.
Fundam. Informaticae
Michael Köhler-Bußmeier, Frank Heitmann
2009 J jnl
A Formal Model for Organisational Structures behind Process-Aware Information Systems.
Trans. Petri Nets Other Model. Concurr.
Michael Köhler-Bußmeier, Matthias Wester-Ebbinghaus, Daniel Moldt
2009 B conf
Hornets: Nets within Nets Combined with Net Algebra.
Petri Nets
Michael Köhler-Bußmeier
2009 J jnl
On the Expressiveness of Communication Channels for Object Nets.
Fundam. Informaticae
Michael Köhler-Bußmeier, Frank Heitmann
2009 — conf
SONAR
MATES
Michael Köhler-Bußmeier, Matthias Wester-Ebbinghaus
2008 — conf
Automatic Generation of Distributed Team Formation Algorithms from Organizational Models.
COIN@AAMAS&AAAI
Michael Köhler-Bußmeier, Matthias Wester-Ebbinghaus
2008 — conf
From Multi-Agent to Multi-Organization Systems: Utilizing Middleware Approaches.
ESAW
Matthias Wester-Ebbinghaus, Daniel Moldt, Michael Köhler-Bußmeier
2008 J jnl
Linear Properties of Zero-Safe Nets with Debit Tokens.
Fundam. Informaticae
Michael Köhler-Bußmeier, Manfred Kudlek