Marijan Kunstic, Marina Bagic. Formal infrastructure of multiagent system specified by Agent UML and Petri Nets. In Hsing-wei Chu, editor, Proceedings of the 2nd International Conference Computing, Communications and Control Technologies, CCCT 2004, Austin, TX, USA, August 14-17, 2004, Volume 2. pages 302-307, The International Institute of Informatics and Systemics (IIIS), 2004.
Abstract is missing.