Hyggo Oliveira de Almeida, Leandro Dias da Silva, Angelo Perkusich, Evandro de Barros Costa. A Formal Approach for the Modelling and Verification of Multiagent Plans Based on Model Checking and Petri Nets. In Ricardo Choren, Alessandro F. Garcia, Carlos José Pereira de Lucena, Alexander B. Romanovsky, editors, Software Engineering for Multi-Agent Systems III, Research Issues and Practical Applications [the book is a result of SELMAS 2004]. Volume 3390 of Lecture Notes in Computer Science, pages 162-179, Springer, 2004. [doi]
Abstract is missing.