Validation of Discrete Event Processes implemented on PLCs based on Petri Nets. - Hugo Conde Barroso; José António Gaspar (ICARSC, 2021)