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. 79-86 2008 AAMAS (1) http://doi.acm.org/10.1145/1402383.1402399 conf/atal/2008-1 db/conf/atal/aamas2008-1.html#ZiparoINPC08