Assessment of Petri nets Regulation Control methodologies for automation systems | Publicación