Bibliography
Modelling and Analysis of Agent Protocols with Petri Nets
Kolja Lehmann and Daniel Moldt.
Modelling and analysis of agent protocols with Petri nets.
In Gabriela Lindemann, Jörg Denzinger, and Ingo J. et al. Timm,
editors, Multiagent System Technologies: Second German Conference, MATES
2004, Erfurt, Germany, September 29-30, 2004. Proceedings, volume 3187 of
Lecture Notes in Computer Science, page 85, Berlin, Heidelberg, New
York, 2004. Springer-Verlag.
BibTeX
@INPROCEEDINGS{Lehmann+04,
AUTHOR = {Lehmann, Kolja and Moldt, Daniel},
ADDRESS = Springer.addr,
BOOKTITLE = {Multiagent System Technologies: Second German Conference, MATES 2004, Erfurt, Germany, September 29-30, 2004. Proceedings},
EDITOR = {Lindemann, Gabriela and Denzinger, J{\"o}rg and Timm, Ingo J. et al.},
PUBLISHER = Springer,
SERIES = LNCS,
TITLE = {Modelling and Analysis of Agent Protocols with {Petri} Nets},
VOLUME = {3187},
YEAR = 2004,
PAGES = {85}
}
