Petri net plans: a formal model for representation and execution of multi-robot plans

Vittorio A. Ziparo, Luca Iocchi, Daniele Nardi, Pier Francesco Palamara, Hugo Costelha. Petri net plans: a formal model for representation and execution of multi-robot plans. In Lin Padgham, David C. Parkes, Jörg Müller, Simon Parsons, editors, 7th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2008), Estoril, Portugal, May 12-16, 2008, Volume 1. pages 79-86, IFAAMAS, 2008. [doi]

Abstract

Abstract is missing.