MSc Theses

Validation of Industrial Processes Implemented on PLCs based on Petri Nets

Master Thesis, Instituto Superior Técnico, Universidade de Lisboa, February