Liveness preserving composition of behaviour protocols for Petri net agents. Report of the research program (2002)

by Michael Köhler, Daniel Moldt, Heiko Rölke
Venue:University of Hamburg, Department of Computer Science