Validation of Discrete Event Processes implemented on PLCs based on Petri Nets
Title: | Validation of Discrete Event Processes implemented on PLCs based on Petri Nets |
---|---|
Kind : | Conference Papers |
Published In: | Proc. of ICARSC 2021 - IEEE International Conference on Autonomous Robot Systems and Competitions, Santa Maria da Feira, Portugal |
URL : | http://dx.doi.org/10.1109/icarsc52212.2021.9429807 |
Year : | 2021 |
Authors : |
Hugo Conde Barroso José António da Cruz Pinto Gaspar |
Lab : | Computer and Robot Vision Lab (VisLab) |