Modelling the Structure and Behaviour of Petri Net Agents. - Michael Köhler 001; Daniel Moldt; Heiko Rölke (ICATPN, 2001)

Modelling Mobility and Mobile Agents Using Nets within Nets. - Michael Köhler 001; Daniel Moldt; Heiko Rölke (ICATPN, 2003)

Concurrency in Mobile Object Net Systems. - Michael Köhler 001; Heiko Rölke (Fundam. Informaticae, 2003)

Properties of Object Petri Nets. - Michael Köhler 001; Heiko Rölke (ICATPN, 2004)

An Extensible Editor and Simulation Engine for Petri Nets: Renew. - Olaf Kummer; Frank Wienberg; Michael Duvigneau; Jörn Schumacher; Michael Köhler 001; Daniel Moldt; Heiko Rölke; Rüdiger Valk (ICATPN, 2004)

Objektnetze: Definition und Eigenschaften. - Michael Köhler 001 (Ausgezeichnete Informatikdissertationen, 2004)

Mobile Object-Net Systems and their Processes. - Berndt Farwer; Michael Köhler 001 (Fundam. Informaticae, 2004)

Objektnetze: Definitionen und Eigenschaften. - Michael Köhler 001 (2004)

Reference and Value Semantics Are Equivalent for Ordinary Object Petri Nets. - Michael Köhler 001; Heiko Rölke (ICATPN, 2005)

Formal Aspects for Semantic Service Modeling Based on High-Level Petri Nets. - Michael Köhler 001; Jan Ortmann (CIMCA/IAWTIC, 2005)

Linking Micro and Macro Description of Scalable Social Systems Using Reference Nets. - Michael Köhler 001; Daniel Moldt; Heiko Rölke; Rüdiger Valk (Socionics, 2005)

Petri Net Processes for Zero-Safe Nets. - Berndt Farwer; Michael Köhler 001 (Fundam. Informaticae, 2005)

Dynamic Service Composition: A Petri-Net Based Approach. - Michael Köhler 001; Daniel Moldt; Jan Ortmann (ICEIS (4), 2006)

Dynamic Transition Refinement. - Michael Köhler 001; Heiko Rölke (FOCLASA, 2006)

Modelling Global and Local Name Spaces for Mobile Agents Using Object Nets. - Berndt Farwer; Michael Köhler 001 (Fundam. Informaticae, 2006)

Properties of Super-Dual Nets. - Michael Köhler 001; Heiko Rölke (Fundam. Informaticae, 2006)

Object Nets for Mobility. - Michael Köhler 001; Berndt Farwer (ICATPN, 2007)

Web Service Orchestration with Super-Dual Object Nets. - Michael Köhler 001; Heiko Rölke (ICATPN, 2007)

Closing the Gap Between Organizational Models and Multi-Agent System Deployment. - Michael Köhler 001; Matthias Wester-Ebbinghaus (CEEMAS, 2007)

The Reachability Problem for Object Nets. - Michael Köhler 001 (Fundam. Informaticae, 2007)

A Formal Model of Multi-Agent Organisations. - Michael Köhler 001 (Fundam. Informaticae, 2007)

Socionic Multi-Agent Systems Based on Reflexive Petri Nets and Theories of Social Self-Organisation. - Michael Köhler 001; Roman Langer; Rolf von Lüde; Daniel Moldt; Heiko Rölke; Rüdiger Valk (J. Artif. Soc. Soc. Simul., 2007)

Automatic Generation of Distributed Team Formation Algorithms from Organizational Models. - Michael Köhler-Bußmeier; Matthias Wester-Ebbinghaus (COIN@AAMAS&AAAI, 2008)

From Multi-Agent to Multi-Organization Systems: Utilizing Middleware Approaches. - Matthias Wester-Ebbinghaus; Daniel Moldt; Michael Köhler-Bußmeier (ESAW, 2008)

Analysis of Mobile Agents using Invariants of Object Nets. - Michael Köhler 001; Daniel Moldt (Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2008)

Linear Properties of Zero-Safe Nets with Debit Tokens. - Michael Köhler-Bußmeier; Manfred Kudlek (Fundam. Informaticae, 2008)

Hornets: Nets within Nets Combined with Net Algebra. - Michael Köhler-Bußmeier (Petri Nets, 2009)

SONAR*: A Multi-Agent Infrastructure for Active Application Architectures and Inter-organisational Information Systems. - Michael Köhler-Bußmeier; Matthias Wester-Ebbinghaus (MATES, 2009)

On the Expressiveness of Communication Channels for Object Nets. - Michael Köhler-Bußmeier; Frank Heitmann (Fundam. Informaticae, 2009)

A Formal Model for Organisational Structures behind Process-Aware Information Systems. - Michael Köhler-Bußmeier; Matthias Wester-Ebbinghaus; Daniel Moldt (Trans. Petri Nets Other Model. Concurr., 2009)

Generating Executable Multi-agent System Prototypes from SONAR Specifications. - Michael Köhler-Bußmeier; Matthias Wester-Ebbinghaus; Daniel Moldt (COIN@AAMAS&MALLOW, 2010)

A Survey of Elementary Object Systems. - Michael Köhler-Bußmeier (LAM@LICS, 2010)

Complexity of LTL Model-Checking for Safe Object Nets. - Michael Köhler-Bußmeier; Frank Heitmann (LAM@LICS, 2010)

Generating Executable MAS-Prototypes from SONAR Specifications. - Michael Köhler-Bußmeier; Matthias Wester-Ebbinghaus; Daniel Moldt (MALLOW, 2010)

Modelling Distributed Network Security in a Petri Net- and Agent-Based Approach. - Simon Adameit; Tobias Betz; Lawrence Cabac; Florian Hars; Marcin Hewelt; Michael Köhler-Bußmeier; Daniel Moldt; Dimitri Popov; José Ghislain Quenum; Axel Theilmann (MATES, 2010)

SONAR/OREDI: A Tool for Creation and Deployment of Organisation Models. - Endri Deliu; Michael Köhler-Bußmeier (MATES, 2010)

Safeness for Object Nets. - Michael Köhler-Bußmeier; Frank Heitmann (Fundam. Informaticae, 2010)

Modeling Organizational Units as Modular Components of Systems of Systems. - Matthias Wester-Ebbinghaus; Daniel Moldt; Michael Köhler-Bußmeier (Trans. Petri Nets Other Model. Concurr., 2010)

Liveness of Safe Object Nets. - Michael Köhler-Bußmeier; Frank Heitmann (Fundam. Informaticae, 2011)

P- and T-Systems in the Nets-within-Nets-Formalism. - Frank Heitmann; Michael Köhler-Bußmeier (Petri Nets, 2012)

On the Complexity of Safe, Elementary Hornets. - Michael Köhler-Bußmeier (CS&P, 2012)

Negotiating Inter-Organisational Processes. - Michael Köhler-Bußmeier (CS&P, 2012)

Conservative Elementary Object Systems. - Michael Köhler-Bußmeier; Frank Heitmann (Fundam. Informaticae, 2012)

Complexity Results for Elementary Hornets. - Michael Köhler-Bußmeier; Frank Heitmann (Petri Nets, 2013)

Defining Multi-Party Compromises using Unfoldings of Workflow Nets. - Michael Köhler-Bußmeier (Fundam. Informaticae, 2013)

Model-Driven Middleware Support for Team-Oriented Process Management. - Matthias Wester-Ebbinghaus; Michael Köhler-Bußmeier (Trans. Petri Nets Other Model. Concurr., 2013)

Structural and Dynamic Restrictions of Elementary Object Systems. - Frank Heitmann; Michael Köhler-Bußmeier (Fundam. Informaticae, 2014)

On the Complexity of the Reachability Problem for Safe, Elementary Hornets. - Michael Köhler-Bußmeier (Fundam. Informaticae, 2014)

A Survey of Decidability Results for Elementary Object Systems. - Michael Köhler-Bußmeier (Fundam. Informaticae, 2014)

Complexity Studies for Safe and Fan-Bounded Elementary Hornets. - Michael Köhler-Bußmeier; Frank Heitmann (CS&P, 2015)

From eHornets to Hybrid Agent and Workflow Systems. - Thomas Wagner 003; Daniel Moldt; Michael Köhler-Bußmeier (PNSE @ Petri Nets, 2016)

An Upper Bound for the Reachability Problem of Safe, Elementary Hornets. - Michael Köhler-Bußmeier; Frank Heitmann (Fundam. Informaticae, 2016)

Restricting Hornets to Support Self-adaptive Systems. - Michael Köhler-Bußmeier (Petri Nets, 2017)

Improving Drone-based Parcel Delivery in a Delivery System at its Capacity Limit. - Niclas zum Felde; Michael Köhler-Bußmeier; Jan Sudeikat (PNSE@Petri Nets, 2021)

Availability Analysis of the ONOS Architecture. - Michael Müller; Michael Köhler-Bußmeier (PNSE@Petri Nets, 2021)

A Maude Formalization of Object Nets. - Lorenzo Capra; Michael Köhler-Bußmeier (ECSA (Tracks and Workshops), 2022)

Towards Integrating Multi-Agent Organizations in OPC UA for Developing Adaptive Cyber-Physical Systems. - Jan Sudeikat; Michael Köhler-Bußmeier (GI-Jahrestagung, 2022)

On Combining Domain Modeling and Organizational Modeling for Developing Adaptive Cyber-Physical Systems. - Jan Sudeikat; Michael Köhler-Bußmeier (ICAART (1), 2022)

Balance vs. Contingency: Adaption Measures for Organizational Multi-agent Systems. - Michael Köhler-Bußmeier; Jan Sudeikat (IDC, 2022)

Petri-Nets@Run.Time: Handling Uncertainty during Run-Time Adaptation using Digital Twins. - Michael Köhler-Bussmeier; Heiko Rölke (PNSE@Petri Nets, 2023)

Robustness: A natural Definition based on Nets-within-Nets. - Michael Köhler-Bussmeier; Lorenzo Capra (PNSE@Petri Nets, 2023)

Modelling Adaptive Systems with Nets-Within-Nets in Maude. - Lorenzo Capra; Michael Köhler-Bussmeier (ENASE, 2023)

Controlled Run-Time Adaptivity in Industrial Agent Systems - Challenges and Research Prospects. - Jan Sudeikat; Michael Köhler-Bußmeier (GI-Jahrestagung, 2023)

Studying the Micro-Macro-Dynamics in MAPE-Like Adaption Processes. - Michael Köhler-Bußmeier; Jan Sudeikat (IDC, 2023)

Maude Specification of Nets-Within-Nets: A Formal Model of Adaptable Distributed Systems. - Lorenzo Capra; Michael Köhler-Bußmeier (SAC, 2023)

Modelling Adaptive Systems with Maude Nets-within-Nets. - Lorenzo Capra; Michael Köhler-Bußmeier (WorldCIST (3), 2023)

Analysing Adaption Processes of Hornets. - Michael Köhler-Bußmeier; Heiko Rölke (Trans. Petri Nets Other Model. Concurr., 2023)

Defining adaption measures for organisational multi-agent systems. - Michael Köhler-Bußmeier; Jan Sudeikat (Int. J. Parallel Emergent Distributed Syst., 2023)

Petri Nets as Run-Time Models for Self-Adaptive Cyber-Physical Systems. - Lorenzo Capra; Michael Köhler-Bussmeier; Heiko Rölke; Jan Sudeikat (PNSE@Petri Nets, 2024)

Design and Run-Time Analysis of Self-Adaption for Multi-Agent Organisations. - Michael Köhler-Bussmeier; Heiko Rölke (PNSE@Petri Nets, 2024)

Assets, Artifacts and (Multi-)Agents: On Enacting Adaptive Organizations in Cyber-physical Systems: Invited Talk. - Jan Sudeikat; Michael Köhler-Bußmeier (INFORMATIK, 2024)

Modelling and Simulation of Adaptive Multi-Agent Systems with Stochastic Nets-within-Nets. - Michael Köhler-Bußmeier; Lorenzo Capra (IJCCI, 2024)

A "Symbolic" Representation of Object-Nets (Extended Version). - Michael Köhler-Bussmeier; Lorenzo Capra (CoRR, 2024)

Probabilistic Nets-within-Nets. - Michael Köhler-Bußmeier (CoRR, 2024)

Modular rewritable Petri nets: An efficient model for dynamic distributed systems. - Lorenzo Capra; Michael Köhler-Bußmeier (Theor. Comput. Sci., 2024)

Analysing Probabilistic Hornets. - Michael Köhler-Bußmeier; Lorenzo Capra (Petri Nets, 2025)

A "Symbolic" Representation of Object-Nets. - Michael Köhler-Bußmeier; Lorenzo Capra (ICDCIT, 2025)