Köhler, M.

• Farwer, Berndt; Köhler, Michael:
  Petri Net Processes for Zero-Safe Nets. 2005.

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

• Köhler, Michael; Farwer, Berndt:
  Modeling Global and Local Name Spaces for Mobile Agents Using Object Nets. 2005.

• Köhler, Michael; Ortmann, Jan:
  Service Modeling Based on High-Level Petri Nets. 2005.

• Köhler, Michael; Rölke, Heiko:
  Super-Dual Nets. 2005.

• Köhler, Michael; Rölke, Heiko:
  Reference and Value Semantics Are Equivalent for Ordinary Object Petri Nets. 2005.

• Köhler, Michael; Moldt, Daniel; Rölke, Heiko; Valk, Rüdiger:
  Petri Nets and Social Science. 2004.

• Cabac, Lawrence; Köhler, Michael:
  Relating Higher Order Reference Nets and Well-Formed Nets. 2004.

• Köhler, Michael; Rölke, Heiko; Valk, Rüdiger:
  Compositional Analysis of Mobile Agents using Structural Invariants of Object Nets. 2004.

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

• Köhler, Michael; Farwer, Berndt:
  Net Processes for Zero-safe Nets. 2004.

• Köhler, Michael; Rölke, Heiko:
  Properties of Object Petri Nets. 2004.

• Köhler, Michael; Rölke, Heiko:
  Coordination of Mobile Agents: The Bucket Chain-Example. 2004.

• Farwer, B.; Köhler, M.:
  Mobile Object-Net Systems and their Processes. 2003.

• Köhler, Michael; Rölke, Heiko:
  Concurrency for mobile object net systems. 2003.

• Köhler, Michael; Rölke, Heiko:
  Modelling sandboxes for mobile agents using nets within nets. 2003.

• Köhler, Michael; Rölke, Heiko; Moldt, Daniel:
  A discussion of social norms with respect to the micro-macro link. 2003.

• Köhler, Michael; Rölke, Heiko; Moldt, Daniel; Valk, Rüdiger; von Lüde, Rolf; Langer, Roman; Spresny, Daniela:
  Sozionik: Modellierung soziologischer Theorie. 2003.

• Köhler, Michael; Martens, Marcel; Rölke, Heiko:
  Modelling social behaviour with Petri net based multi-agent systems. 2003.

• Köhler, Michael; Moldt, Daniel; Rölke, Heiko:
  Modelling Mobility and Mobile Agents Using Nets within Nets. 2003.

• Köhler, Michael; Moldt, Daniel; Rölke, Heiko:
  Strukturdynamik als Grundlage zur Modellierung und Simulation menschlichen Verhaltens. 2003.

• Köhler, M.; Rölke, H.:
  Mobile Object Net Systems: Concurrency and Mobility. 2002.

• Köhler, Michael; Rölke, Heiko:
  Modelling the Micro-Macro-Link: Towards a Sociologically Grounded Design of Multi Agent Systems. 2002.

• Köhler, Michael; Rölke, Heiko:
  Modelling Mobility and Mobile Agents using Nets within Nets. 2002.

• Köhler, Michael; Moldt, Daniel; Rölke, Heiko:
  Einheitliche Modellierung von Agenten und Agentensystemen mit Referenznetzen. 2001.

• Köhler, Michael; Rölke, Heiko:
  A/C-Petri nets - Assumption based modelling and reasoning. 2001.

• Köhler, Michael; Moldt, Daniel; Rölke, Heiko:
  Modelling a sociological case study. 2001.

• Köhler, Michael; Rölke, Heiko:
  Towards a Unified Approach for Modeling and Verification of Multi Agent Systems. 2001.

• Köhler, Michael; Moldt, Daniel; Rölke, Heiko:
  Modelling the Structure and Behaviour of Petri Net Agents. 2001.

• Köhler, Michael; Langer, Roman; Moldt, Daniel; Rölke, Heiko:
  Combining the Sociological Theory Bourdieu's with Multi Agent Systems. 2000.

• Heitsch, S.; Köhler, M.; Martens, M.; Moldt, D.:
  High-level Petri Nets for a Model of Organizational Decision Making. 2000.

• Köhler, Michael:
  Algebraische Erweiterung von Objektnetzen. 06.

• Köhler, M.:
  Formalising Multi-Agent Organisations. 06.

• Köhler, M.:
  Reachable Markings of Object Petri Nets. 06.

• Köhler, Michael:
  The Reachability Problem for Object Nets. 06.

Back to the Petri Nets Bibliography