4 Einträge gefunden

1. Modeling the Behaviour of Petri Net Agents

   1. Köhler, Michael
   2. Moldt, Daniel
   3. Rölke, Heiko

   2001 - ReposIt
2. Towards a Unified Approach for Modeling and Verification of Multi-Agent Systems

   1. Köhler, Michael
   2. Rölke, Heiko

   2001 - ReposIt - frei zugänglich
3. Liveness Preserving Composition of Behaviour Protocols for Petri Net Agents

   1. Köhler, Michael
   2. Moldt, Daniel
   3. Rölke, Heiko

   2001 - ReposIt
4. Einheitliche Modellierung von Agenten und Agentensystemen mit Referenznetzen

   1. Köhler, Michael
   2. Moldt, Daniel
   3. Rölke, Heiko

   2001 - ReposIt