MSc Theses

Supervisory Control of Petri Netsusing Linear Temporal Logic

Master Thesis, Instituto Superior Tecnico, Universidade Tecnica de Lisboa