CitationCount for RCPetri: A Matlab app for the synthesis of Petri net regulation controllers for industrial automation*