Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDMichael Köhler-Bußmeier
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
2020 – today
- 2023
[c38]Lorenzo Capra, Michael Köhler-Bussmeier:
Modelling Adaptive Systems with Nets-Within-Nets in Maude. ENASE 2023: 487-496- 2022
- [c37]Michael Köhler-Bussmeier, Heiko Rölke:
Analysing Adaption Processes of Hornets. PNSE@Petri Nets 2022: 80-98 - [c36]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 - [c35]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 - [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
- [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 - [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]
2010 – 2019
- 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] - 2017
- [c32]Michael Köhler-Bußmeier:
Restricting Hornets to Support Self-adaptive Systems. Petri Nets 2017: 288-306 - 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) - [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
- [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) - [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
- [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) - [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
- [j16]Michael Köhler-Bußmeier, Frank Heitmann:
Conservative Elementary Object Systems. Fundam. Informaticae 120(3-4): 325-339 (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 - 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) - [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
2000 – 2009
- 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) - [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
- [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) - [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
- [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) - [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
- [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) - [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
- [j3]Berndt Farwer, Michael Köhler:
Petri Net Processes for Zero-Safe Nets. Fundam. Informaticae 67(1-3): 65-75 (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
- [b1]Michael Köhler:
Objektnetze: Definitionen und Eigenschaften. University of Hamburg, 2004, ISBN 3-8325-0695-0, pp. 1-246 - [j2]Berndt Farwer, Michael Köhler:
Mobile Object-Net Systems and their Processes. Fundam. Informaticae 60(1-4): 113-129 (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 - [p1]Michael Köhler:
Objektnetze: Definition und Eigenschaften. Ausgezeichnete Informatikdissertationen 2004: 75-84 - 2003
- [j1]Michael Köhler, Heiko Rölke:
Concurrency in Mobile Object Net Systems. Fundam. Informaticae 54(2-3): 221-235 (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
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).
load content from web.archive.org
Privacy notice: By enabling the option above, your browser will contact the API of web.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 2023-05-24 22:49 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:
