Using Petri net models at the coordination level for manufacturing systems control | Publicación