Towards a Unified Approach for Modeling and Verification of Multi-Agent Systems Köhler, Michael Rölke, Heiko 2001 - ReposIt - frei zugänglich
Einheitliche Modellierung von Agenten und Agentensystemen mit Referenznetzen Köhler, Michael Moldt, Daniel Rölke, Heiko 2001 - ReposIt
Liveness Preserving Composition of Behaviour Protocols for Petri Net Agents Köhler, Michael Moldt, Daniel Rölke, Heiko 2001 - ReposIt