MIN-Fakultät Fachbereich Informatik Bibliothek
Köhler, Michael ; Moldt, Daniel ; Rölke, Heiko
Liveness Preserving Composition of Behaviour Protocols for Petri Net Agents