Multiple vehicles mission coordination using Petri nets | Publicación