Assessment of Petri nets Regulation Control methodologies for automation systems Academic Article in Scopus