Michael Köhler

23 papers Journal 9Unranked 12
YearRankTypeTitle / Venue / Authors
2008 J jnl
Analysis of Mobile Agents using Invariants of Object Nets.
Electron. Commun. Eur. Assoc. Softw. Sci. Technol.
Michael Köhler, Daniel Moldt
2007 J jnl
A Formal Model of Multi-Agent Organisations.
Fundam. Informaticae
Michael Köhler
2007 — conf
Closing the Gap Between Organizational Models and Multi-Agent System Deployment.
CEEMAS
Michael Köhler, Matthias Wester-Ebbinghaus
2007 — conf
Object Nets for Mobility.
ICATPN
Michael Köhler, Berndt Farwer
2007 J jnl
Socionic Multi-Agent Systems Based on Reflexive Petri Nets and Theories of Social Self-Organisation.
J. Artif. Soc. Soc. Simul.
Michael Köhler, Roman Langer, Rolf von Lüde, Daniel Moldt, Heiko Rölke, Rüdiger Valk
2007 J jnl
The Reachability Problem for Object Nets.
Fundam. Informaticae
Michael Köhler
2007 — conf
Web Service Orchestration with Super-Dual Object Nets.
ICATPN
Michael Köhler, Heiko Rölke
2006 — conf
Dynamic Service Composition: A Petri-Net Based Approach.
ICEIS (4)
Michael Köhler, Daniel Moldt, Jan Ortmann
2006 — conf
Dynamic Transition Refinement.
FOCLASA
Michael Köhler, Heiko Rölke
2006 J jnl
Modelling Global and Local Name Spaces for Mobile Agents Using Object Nets.
Fundam. Informaticae
Berndt Farwer, Michael Köhler
2006 J jnl
Properties of Super-Dual Nets.
Fundam. Informaticae
Michael Köhler, Heiko Rölke
2005 — conf
Formal Aspects for Semantic Service Modeling Based on High-Level Petri Nets.
CIMCA/IAWTIC
Michael Köhler, Jan Ortmann
2005 — conf
Linking Micro and Macro Description of Scalable Social Systems Using Reference Nets.
Socionics
Michael Köhler, Daniel Moldt, Heiko Rölke, Rüdiger Valk
2005 J jnl
Petri Net Processes for Zero-Safe Nets.
Fundam. Informaticae
Berndt Farwer, Michael Köhler
2005 — conf
Reference and Value Semantics Are Equivalent for Ordinary Object Petri Nets.
ICATPN
Michael Köhler, Heiko Rölke
2004 — conf
An Extensible Editor and Simulation Engine for Petri Nets: Renew.
ICATPN
Olaf Kummer, Frank Wienberg, Michael Duvigneau, Jörn Schumacher, Michael Köhler, Daniel Moldt, Heiko Rölke, Rüdiger Valk
2004 J jnl
Mobile Object-Net Systems and their Processes.
Fundam. Informaticae
Berndt Farwer, Michael Köhler
2004 — ch.
Objektnetze: Definition und Eigenschaften.
Ausgezeichnete Informatikdissertationen
Michael Köhler
2004 — —
Objektnetze: Definitionen und Eigenschaften.
Michael Köhler
2004 — conf
Properties of Object Petri Nets.
ICATPN
Michael Köhler, Heiko Rölke
2003 J jnl
Concurrency in Mobile Object Net Systems.
Fundam. Informaticae
Michael Köhler, Heiko Rölke
2003 — conf
Modelling Mobility and Mobile Agents Using Nets within Nets.
ICATPN
Michael Köhler, Daniel Moldt, Heiko Rölke
2001 — conf
Modelling the Structure and Behaviour of Petri Net Agents.
ICATPN
Michael Köhler, Daniel Moldt, Heiko Rölke