RCPetri: a Matlab app for the synthesis of Petri net regulation controllers for industrial automation. - Anibal Cid Gaona; José Manuel Chávez; Carlos Renato Vázquez (ETFA, 2021)