Petri net approach for deadlock prevention in robot planning | Publicación