A Petri net based approach to modeling and scheduling for an FMS and a case study | IEEE Journals & Magazine | IEEE Xplore