Petri Net Based Synthesis Method to Construct Optimal Controllers and Its Application to a Jobshop Scheduling. - Eun Joo Lee; In-Jae Jeong; Jeehyoung Lee (ISDA (1), 2008)