A Petri net based deadlock prevention policy for flexible manufacturing systems | Publicación