Skip to content
About
Overview
Organization
LARSyS
People
Contacts
Research
Groups
Projects
Publications
R&D Infrastructures
Opportunities
Education
Study@Técnico
Doctoral Programs
Scholarships
Society
Alumni
Startups
Outreach
Awards
Success Stories
Media
Highlights
Press
Newsletter
Gallery
About
Overview
Organization
LARSyS
People
Contacts
Research
Groups
Projects
Publications
R&D Infrastructures
Opportunities
Education
Study@Técnico
Doctoral Programs
Scholarships
Society
Alumni
Startups
Outreach
Awards
Success Stories
Media
Highlights
Press
Newsletter
Gallery
Search
MSc Theses
Supervisory Control of Petri Netsusing Linear Temporal Logic
Manuel Biscaia
Intelligent Robots and Systems Group (IRSg)
Master Thesis, Instituto Superior Tecnico, Universidade Tecnica de Lisboa
January, 2010
Intelligent Robots and Systems Group (IRSg)
