Michael Köhler

Publication Activity (10 Years)

Years Active: 2001-2008
Publications (10 Years): 0

University of Hamburg (PHD)

Education History

University of Hamburg

PHD

Publications

Michael Köhler, Daniel Moldt
Analysis of Mobile Agents using Invariants of Object Nets. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 12 (2008)
Michael Köhler, Heiko Rölke
Dynamic Transition Refinement. Electron. Notes Theor. Comput. Sci. 175 (2) (2007)
Michael Köhler, Heiko Rölke
Web Service Orchestration with Super-Dual Object Nets. ICATPN (2007)
Michael Köhler
The Reachability Problem for Object Nets. Fundam. Informaticae 79 (3-4) (2007)
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)
Michael Köhler, Matthias Wester-Ebbinghaus
Closing the Gap Between Organizational Models and Multi-Agent System Deployment. CEEMAS (2007)
Michael Köhler, Berndt Farwer
Object Nets for Mobility. ICATPN (2007)
Michael Köhler
A Formal Model of Multi-Agent Organisations. Fundam. Informaticae 79 (3-4) (2007)
Michael Köhler, Heiko Rölke
Properties of Super-Dual Nets. Fundam. Informaticae 72 (1-3) (2006)
Berndt Farwer, Michael Köhler
Modelling Global and Local Name Spaces for Mobile Agents Using Object Nets. Fundam. Informaticae 72 (1-3) (2006)
Michael Köhler, Daniel Moldt, Jan Ortmann
Dynamic Service Composition: A Petri-Net Based Approach. ICEIS (4) (2006)
Michael Köhler, Jan Ortmann
Formal Aspects for Semantic Service Modeling Based on High-Level Petri Nets. CIMCA/IAWTIC (2005)
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)
Michael Köhler, Heiko Rölke
Reference and Value Semantics Are Equivalent for Ordinary Object Petri Nets. ICATPN (2005)
Berndt Farwer, Michael Köhler
Petri Net Processes for Zero-Safe Nets. Fundam. Informaticae 67 (1-3) (2005)
Michael Köhler
Objektnetze: Definition und Eigenschaften. Ausgezeichnete Informatikdissertationen (2004)
Berndt Farwer, Michael Köhler
Mobile Object-Net Systems and their Processes. Fundam. Informaticae 60 (1-4) (2004)
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)
Michael Köhler, Heiko Rölke
Properties of Object Petri Nets. ICATPN (2004)
Michael Köhler, Heiko Rölke
Concurrency in Mobile Object Net Systems. Fundam. Informaticae 54 (2-3) (2003)
Michael Köhler, Daniel Moldt, Heiko Rölke
Modelling Mobility and Mobile Agents Using Nets within Nets. ICATPN (2003)
Michael Köhler, Daniel Moldt, Heiko Rölke
Modelling the Structure and Behaviour of Petri Net Agents. ICATPN (2001)

Michael Köhler.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Michael Köhler