default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDMichael Köhler-Bußmeier
Michael Köhler-Bussmeier – Michael Köhler 0001
Person information
- affiliation: University of Hamburg, Germany
Other persons with the same name
- Michael Köhler 0002 — University of Cologne, Germany
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
Books and Theses
- 2004
[b1]Michael Köhler:
Objektnetze: Definitionen und Eigenschaften. University of Hamburg, 2004, ISBN 3-8325-0695-0, pp. 1-246
Journal Articles
- 2024
- [j25]Lorenzo Capra
, Michael Köhler-Bußmeier:
Modular rewritable Petri nets: An efficient model for dynamic distributed systems. Theor. Comput. Sci. 990: 114397 (2024) - 2023
- [j24]Michael Köhler-Bußmeier, Jan Sudeikat:
Defining adaption measures for organisational multi-agent systems. Int. J. Parallel Emergent Distributed Syst. 38(6): 507-521 (2023) - [j23]Michael Köhler-Bußmeier, Heiko Rölke:
Analysing Adaption Processes of Hornets. Trans. Petri Nets Other Model. Concurr. 17: 84-107 (2023) - 2016
- [j22]Michael Köhler-Bußmeier, Frank Heitmann:
An Upper Bound for the Reachability Problem of Safe, Elementary Hornets. Fundam. Informaticae 143(1-2): 89-100 (2016) - 2014
- [j21]Michael Köhler-Bußmeier:
On the Complexity of the Reachability Problem for Safe, Elementary Hornets. Fundam. Informaticae 129(1-2): 101-115 (2014) - [j20]Michael Köhler-Bußmeier:
A Survey of Decidability Results for Elementary Object Systems. Fundam. Informaticae 130(1): 99-123 (2014) - [j19]Frank Heitmann, Michael Köhler-Bußmeier:
Structural and Dynamic Restrictions of Elementary Object Systems. Fundam. Informaticae 135(4): 387-401 (2014) - 2013
- [j18]Michael Köhler-Bußmeier:
Defining Multi-Party Compromises using Unfoldings of Workflow Nets. Fundam. Informaticae 128(1-2): 97-111 (2013) - [j17]Matthias Wester-Ebbinghaus, Michael Köhler-Bußmeier:
Model-Driven Middleware Support for Team-Oriented Process Management. Trans. Petri Nets Other Model. Concurr. 8: 159-179 (2013) - 2012
- [j16]Michael Köhler-Bußmeier, Frank Heitmann:
Conservative Elementary Object Systems. Fundam. Informaticae 120(3-4): 325-339 (2012) - 2011
- [j15]Michael Köhler-Bußmeier, Frank Heitmann:
Liveness of Safe Object Nets. Fundam. Informaticae 112(1): 73-87 (2011) - 2010
- [j14]Michael Köhler-Bußmeier, Frank Heitmann:
Safeness for Object Nets. Fundam. Informaticae 101(1-2): 29-43 (2010) - [j13]Matthias Wester-Ebbinghaus, Daniel Moldt, Michael Köhler-Bußmeier:
Modeling Organizational Units as Modular Components of Systems of Systems. Trans. Petri Nets Other Model. Concurr. 4: 174-198 (2010) - 2009
- [j12]Michael Köhler-Bußmeier, Frank Heitmann:
On the Expressiveness of Communication Channels for Object Nets. Fundam. Informaticae 93(1-3): 205-219 (2009) - [j11]Michael Köhler-Bußmeier, Matthias Wester-Ebbinghaus, Daniel Moldt:
A Formal Model for Organisational Structures behind Process-Aware Information Systems. Trans. Petri Nets Other Model. Concurr. 2: 98-114 (2009) - 2008
- [j10]Michael Köhler, Daniel Moldt:
Analysis of Mobile Agents using Invariants of Object Nets. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 12 (2008) - [j9]Michael Köhler-Bußmeier, Manfred Kudlek:
Linear Properties of Zero-Safe Nets with Debit Tokens. Fundam. Informaticae 85(1-4): 329-342 (2008) - 2007
- [j8]Michael Köhler:
The Reachability Problem for Object Nets. Fundam. Informaticae 79(3-4): 401-413 (2007) - [j7]Michael Köhler:
A Formal Model of Multi-Agent Organisations. Fundam. Informaticae 79(3-4): 415-430 (2007) - [j6]Michael Köhler, Roman Langer, Rolf von Lüde, Daniel Moldt, Heiko Rölke, Rüdiger Valk:
Socionic Multi-Agent Systems Based on Reflexive Petri Nets and Theories of Social Self-Organisation. J. Artif. Soc. Soc. Simul. 10(1) (2007) - 2006
- [j5]Berndt Farwer, Michael Köhler:
Modelling Global and Local Name Spaces for Mobile Agents Using Object Nets. Fundam. Informaticae 72(1-3): 109-122 (2006) - [j4]Michael Köhler, Heiko Rölke:
Properties of Super-Dual Nets. Fundam. Informaticae 72(1-3): 245-254 (2006) - 2005
- [j3]Berndt Farwer, Michael Köhler:
Petri Net Processes for Zero-Safe Nets. Fundam. Informaticae 67(1-3): 65-75 (2005) - 2004
- [j2]Berndt Farwer, Michael Köhler:
Mobile Object-Net Systems and their Processes. Fundam. Informaticae 60(1-4): 113-129 (2004) - 2003
- [j1]Michael Köhler, Heiko Rölke:
Concurrency in Mobile Object Net Systems. Fundam. Informaticae 54(2-3): 221-235 (2003)
Conference and Workshop Papers
- 2024
- [c48]Lorenzo Capra, Michael Köhler-Bussmeier, Heiko Rölke, Jan Sudeikat:
Petri Nets as Run-Time Models for Self-Adaptive Cyber-Physical Systems. PNSE@Petri Nets 2024: 164-181 - [c47]Michael Köhler-Bussmeier, Heiko Rölke:
Design and Run-Time Analysis of Self-Adaption for Multi-Agent Organisations. PNSE@Petri Nets 2024: 233-260 - 2023
- [c46]Michael Köhler-Bussmeier, Heiko Rölke:
Petri-Nets@Run.Time: Handling Uncertainty during Run-Time Adaptation using Digital Twins. PNSE@Petri Nets 2023: 34-52 - [c45]Michael Köhler-Bussmeier, Lorenzo Capra:
Robustness: A natural Definition based on Nets-within-Nets. PNSE@Petri Nets 2023: 70-87 - [c44]Lorenzo Capra, Michael Köhler-Bussmeier:
Modelling Adaptive Systems with Nets-Within-Nets in Maude. ENASE 2023: 487-496 - [c43]Jan Sudeikat, Michael Köhler-Bußmeier:
Controlled Run-Time Adaptivity in Industrial Agent Systems - Challenges and Research Prospects. GI-Jahrestagung 2023: 2003-2014 - [c42]Michael Köhler-Bußmeier, Jan Sudeikat:
Studying the Micro-Macro-Dynamics in MAPE-Like Adaption Processes. IDC 2023: 285-300 - [c41]Lorenzo Capra, Michael Köhler-Bußmeier:
Maude Specification of Nets-Within-Nets: A Formal Model of Adaptable Distributed Systems. SAC 2023: 188-191 - [c40]Lorenzo Capra, Michael Köhler-Bußmeier:
Modelling Adaptive Systems with Maude Nets-within-Nets. WorldCIST (3) 2023: 178-189 - 2022
- [c39]Michael Köhler-Bussmeier, Heiko Rölke:
Analysing Adaption Processes of Hornets. PNSE@Petri Nets 2022: 80-98 - [c38]Lorenzo Capra, Michael Köhler-Bußmeier:
A Maude Formalization of Object Nets. ECSA (Tracks and Workshops) 2022: 246-261 - [c37]Jan Sudeikat, Michael Köhler-Bußmeier:
Towards Integrating Multi-Agent Organizations in OPC UA for Developing Adaptive Cyber-Physical Systems. GI-Jahrestagung 2022: 1565-1570 - [c36]Jan Sudeikat, Michael Köhler-Bußmeier:
On Combining Domain Modeling and Organizational Modeling for Developing Adaptive Cyber-Physical Systems. ICAART (1) 2022: 330-336 - [c35]Michael Köhler-Bußmeier, Jan Sudeikat:
Balance vs. Contingency: Adaption Measures for Organizational Multi-agent Systems. IDC 2022: 224-233 - 2021
- [c34]Niclas zum Felde, Michael Köhler-Bußmeier, Jan Sudeikat:
Improving Drone-based Parcel Delivery in a Delivery System at its Capacity Limit. PNSE@Petri Nets 2021: 21-40 - [c33]Michael Müller, Michael Köhler-Bußmeier:
Availability Analysis of the ONOS Architecture. PNSE@Petri Nets 2021: 41-64 - 2017
- [c32]Michael Köhler-Bußmeier:
Restricting Hornets to Support Self-adaptive Systems. Petri Nets 2017: 288-306 - 2016
- [c31]Thomas Wagner, Daniel Moldt, Michael Köhler-Bußmeier:
From eHornets to Hybrid Agent and Workflow Systems. PNSE @ Petri Nets 2016: 307-326 - 2015
- [c30]Michael Köhler-Bußmeier, Frank Heitmann:
Complexity Studies for Safe and Fan-Bounded Elementary Hornets. CS&P 2015: 76-87 - 2014
- [c29]Michael Köhler-Bußmeier, Frank Heitmann:
An Upper Bound for the Reachability Problem of Safe, Elementary Hornets. CS&P 2014: 101-112 - 2013
- [c28]Michael Köhler-Bußmeier, Frank Heitmann:
Complexity Results for Elementary Hornets. Petri Nets 2013: 150-169 - [c27]Frank Heitmann, Michael Köhler-Bußmeier:
Structural and Dynamic Restrictions of Elementary Object Systems. CS&P 2013: 181-192 - 2012
- [c26]Matthias Wester-Ebbinghaus, Michael Köhler-Bußmeier:
Model-Driven Middleware Support for Team-Oriented Process Management. PNSE 2012: 93-108 - [c25]Frank Heitmann, Michael Köhler-Bußmeier:
P- and T-Systems in the Nets-within-Nets-Formalism. Petri Nets 2012: 368-387 - [c24]Michael Köhler-Bußmeier:
On the Complexity of Safe, Elementary Hornets. CS&P 2012: 203-214 - [c23]Michael Köhler-Bußmeier:
Negotiating Inter-Organisational Processes. CS&P 2012: 215-226 - 2010
- [c22]Michael Köhler-Bußmeier, Matthias Wester-Ebbinghaus, Daniel Moldt:
Generating Executable Multi-agent System Prototypes from SONAR Specifications. COIN@AAMAS&MALLOW 2010: 21-38 - [c21]Michael Köhler-Bußmeier:
A Survey of Elementary Object Systems. LAM@LICS 2010: 19-36 - [c20]Michael Köhler-Bußmeier, Frank Heitmann:
Complexity of LTL Model-Checking for Safe Object Nets. LAM@LICS 2010: 37-51 - [c19]Michael Köhler-Bußmeier, Matthias Wester-Ebbinghaus, Daniel Moldt:
Generating Executable MAS-Prototypes from SONAR Specifications. MALLOW 2010 - [c18]Endri Deliu, Michael Köhler-Bußmeier:
SONAR/OREDI: A Tool for Creation and Deployment of Organisation Models. MATES 2010: 76-87 - [c17]Simon Adameit, Tobias Betz, Lawrence Cabac, Florian Hars, Marcin Hewelt, Michael Köhler-Bußmeier, Daniel Moldt, Dimitri Popov, José Ghislain Quenum, Axel Theilmann:
Modelling Distributed Network Security in a Petri Net- and Agent-Based Approach. MATES 2010: 209-220 - 2009
- [c16]Michael Köhler-Bußmeier:
Hornets: Nets within Nets Combined with Net Algebra. Petri Nets 2009: 243-262 - [c15]Michael Köhler-Bußmeier, Matthias Wester-Ebbinghaus:
SONAR*: A Multi-Agent Infrastructure for Active Application Architectures and Inter-organisational Information Systems. MATES 2009: 248-257 - 2008
- [c14]Michael Köhler-Bußmeier, Matthias Wester-Ebbinghaus:
Automatic Generation of Distributed Team Formation Algorithms from Organizational Models. COIN@AAMAS&AAAI 2008: 64-79 - [c13]Matthias Wester-Ebbinghaus, Daniel Moldt, Michael Köhler-Bußmeier:
From Multi-Agent to Multi-Organization Systems: Utilizing Middleware Approaches. ESAW 2008: 46-65 - 2007
- [c12]Michael Köhler, Berndt Farwer:
Object Nets for Mobility. ICATPN 2007: 244-262 - [c11]Michael Köhler, Heiko Rölke:
Web Service Orchestration with Super-Dual Object Nets. ICATPN 2007: 263-280 - [c10]Michael Köhler, Matthias Wester-Ebbinghaus:
Closing the Gap Between Organizational Models and Multi-Agent System Deployment. CEEMAS 2007: 307-309 - 2006
- [c9]Michael Köhler, Daniel Moldt, Jan Ortmann:
Dynamic Service Composition: A Petri-Net Based Approach. ICEIS (4) 2006: 159-165 - [c8]Michael Köhler, Heiko Rölke:
Dynamic Transition Refinement. FOCLASA 2006: 119-134 - 2005
- [c7]Michael Köhler, Heiko Rölke:
Reference and Value Semantics Are Equivalent for Ordinary Object Petri Nets. ICATPN 2005: 309-328 - [c6]Michael Köhler, Jan Ortmann:
Formal Aspects for Semantic Service Modeling Based on High-Level Petri Nets. CIMCA/IAWTIC 2005: 107-112 - [c5]Michael Köhler, Daniel Moldt, Heiko Rölke, Rüdiger Valk:
Linking Micro and Macro Description of Scalable Social Systems Using Reference Nets. Socionics 2005: 51-67 - 2004
- [c4]Michael Köhler, Heiko Rölke:
Properties of Object Petri Nets. ICATPN 2004: 278-297 - [c3]Olaf Kummer, Frank Wienberg, Michael Duvigneau, Jörn Schumacher, Michael Köhler, Daniel Moldt, Heiko Rölke, Rüdiger Valk:
An Extensible Editor and Simulation Engine for Petri Nets: Renew. ICATPN 2004: 484-493 - 2003
- [c2]Michael Köhler, Daniel Moldt, Heiko Rölke:
Modelling Mobility and Mobile Agents Using Nets within Nets. ICATPN 2003: 121-139 - 2001
- [c1]Michael Köhler, Daniel Moldt, Heiko Rölke:
Modelling the Structure and Behaviour of Petri Net Agents. ICATPN 2001: 224-241
Parts in Books or Collections
- 2004
- [p1]Michael Köhler:
Objektnetze: Definition und Eigenschaften. Ausgezeichnete Informatikdissertationen 2004: 75-84
Editorship
- 2024
- [e7]Michael Köhler-Bussmeier, Daniel Moldt, Heiko Rölke:
Proceedings of the International Workshop on Petri Nets and Software Engineering 2024 co-located with the 45th International Conference on Application and Theory of Petri Nets and Concurrency (PETRI NETS 2024), June 24 - 25, 2024, Geneva, Switzerland. CEUR Workshop Proceedings 3730, CEUR-WS.org 2024 [contents] - [e6]Michael Köhler-Bußmeier, Wolfgang Renz, Jan Sudeikat:
Intelligent Distributed Computing XVI - 16th International Symposium on Intelligent Distributed Computing, IDC 2023, Hamburg, Germany, September 13-15, 2023. Studies in 1138, Springer 2024, ISBN 978-3-031-60022-7 [contents] - 2023
- [e5]Michael Köhler-Bussmeier, Daniel Moldt, Heiko Rölke:
Proceedings of the 2023 International Workshop on Petri Nets and Software Engineering (PNSE 2023) co-located with the 44th International Conference on Application and Theory of Petri Nets and Concurrency (PETRI NETS 2023), June 27, 2023, Lisbon, Portugal. CEUR Workshop Proceedings 3430, CEUR-WS.org 2023 [contents] - 2022
- [e4]Michael Köhler-Bussmeier, Daniel Moldt, Heiko Rölke:
Petri Nets and Software Engineering 2022 co-located with the 43rd International Conference on Application and Theory of Petri Nets and Concurrency (PETRI NETS 2022), Bergen, Norway, June 20th, 2022. CEUR Workshop Proceedings 3170, CEUR-WS.org 2022 [contents] - 2021
- [e3]Michael Köhler-Bussmeier, Ekkart Kindler, Heiko Rölke:
Proceedings of the International Workshop on Petri Nets and Software Engineering 2021 co-located with the 42nd International Conference on Application and Theory of Petri Nets and Concurrency (PETRI NETS 2021), Paris, France, June 25th, 2021 (due to COVID-19: virtual conference). CEUR Workshop Proceedings 2907, CEUR-WS.org 2021 [contents] - 2020
- [e2]Michael Köhler-Bußmeier, Ekkart Kindler, Heiko Rölke:
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). CEUR Workshop Proceedings 2651, CEUR-WS.org 2020 [contents] - 2018
- [e1]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:
Joint Proceedings of the Workshops at Modellierung 2018 co-located with Modellierung 2018, Braunschweig, Germany, February 21, 2018. CEUR Workshop Proceedings 2060, CEUR-WS.org 2018 [contents]
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-08-05 20:21 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
