Eun Joo LeeIn-Jae JeongJeehyoung LeePetri Net Based Synthesis Method to Construct Optimal Controllers and Its Application to a Jobshop Scheduling.637-6422008ISDA (1)https://doi.org/10.1109/ISDA.2008.193https://doi.ieeecomputersociety.org/10.1109/ISDA.2008.193conf/isda/2008db/conf/isda/isda2008-1.html#LeeJL08