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

Hugo Conde Barroso, José António Gaspar. Validation of Discrete Event Processes implemented on PLCs based on Petri Nets. In Vítor Santos 0001, Nuno Lau, Pedro Neto 0002, Ana Cristina Lopes, editors, IEEE International Conference on Autonomous Robot Systems and Competitions, ICARSC 2021, Santa Maria da Feira, Portugal, April 28-29, 2021. pages 143-148, IEEE, 2021. [doi]

Abstract

Abstract is missing.