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

Hugo Conde Barroso | José Gaspar

Computer and Robot Vision Lab (VisLab)