Scheduling of FMS based on binary decision diagram and Petri net. - Bo Huang 008; Zhicheng Cai; MengChu Zhou; JianGen Hao (ICNSC, 2018)