https://9lib.co/document/4zpm2j7z-petri-based-modeling-based-scheduling-flexible-manufacturing-system.html