Conference Papers

Validation of Discrete Event Processes implemented on PLCs based on Petri Nets

Proc. of ICARSC 2021 - IEEE International Conference on Autonomous Robot Systems and Competitions, Santa Maria da Feira, Portugal