Title: Supervisory Control of Petri Netsusing Linear Temporal Logic
Kind : MSc Theses
Published In: Master Thesis, Instituto Superior Tecnico, Universidade Tecnica de Lisboa
Year : 2010
Authors : Manuel Biscaia
Lab : Intelligent Robots and Systems Group (IRSg)