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.
@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} }