RCPetri: a Matlab app for the synthesis of Petri net regulation controllers for industrial automation | Publicación