Bibliography
Liveness Preserving Composition of Behaviour Protocols for Petri Net Agents
Michael Köhler, Daniel Moldt, and Heiko Rölke.
Liveness preserving composition of behaviour protocols for Petri
net agents.
Arbeitsberichte des Forschungsprogramms: Agieren in sozialen
Kontexten FBI-HH-M-316/02, Universität Hamburg, Fachbereich Informatik,
June 2002.
BibTeX
@Techreport{Koehler+02a,
author = {K{\"o}hler, Michael and Moldt, Daniel and R{\"o}lke, Heiko},
title = {Liveness Preserving Composition of Behaviour Protocols for {Petri} Net Agents},
institution = FBIUniHHbis2005,
OPTaddress = FBIUniAdresse,
year = 2002,
month = jun,
type = ASKOBericht,
number = {FBI-HH-M-316/02}
}
