Project Title    Supervisor Synthesis and Performance Improvement for Automated Manufacturing Systems by Using Petri Nets