TY - GEN
T1 - Scheduling of FMS based on binary decision diagram and Petri net
AU - Huang, Bo
AU - Cai, Zhicheng
AU - Zhou, Mengchu
AU - Hao, Jiangen
N1 - Funding Information:
This work was supported in part by National Natural Science Foundation of China under Grants 61773206 and 61602243, Foundation of Fujian Engineering Research Center of Motor Control and System Optimal Schedule (Huaqiao University) under Grant FERC002, Natural Science Foundation of Jiangsu Province under Grant BK20170131, and Primary Research & Development Plan of JiangSu Province of China under Grant SBE2015000792.
Publisher Copyright:
© 2018 IEEE.
PY - 2018/5/18
Y1 - 2018/5/18
N2 - For flexible manufacturing systems (FMSs), this paper presents a symbolic and intelligent approach to obtain optimal schedule paths by combining reduced ordered binary decision diagrams (ROBDDs) and intelligent search techniques based on the Petri net (PN) models. First, FMSs are modeled via place-timed PNs which contain processing time information on activity places. Then, a ROBDD technique is given to represent the evolution of such nets and the A∗ search on their reachability graphs. ROBDDs can represent large sets of data with compact shared structures and allow the efficient computation on those sets. Thus, the proposed approach is efficient in finding scheduling paths for FMSs.
AB - For flexible manufacturing systems (FMSs), this paper presents a symbolic and intelligent approach to obtain optimal schedule paths by combining reduced ordered binary decision diagrams (ROBDDs) and intelligent search techniques based on the Petri net (PN) models. First, FMSs are modeled via place-timed PNs which contain processing time information on activity places. Then, a ROBDD technique is given to represent the evolution of such nets and the A∗ search on their reachability graphs. ROBDDs can represent large sets of data with compact shared structures and allow the efficient computation on those sets. Thus, the proposed approach is efficient in finding scheduling paths for FMSs.
UR - http://www.scopus.com/inward/record.url?scp=85048230843&partnerID=8YFLogxK
UR - http://www.scopus.com/inward/citedby.url?scp=85048230843&partnerID=8YFLogxK
U2 - 10.1109/ICNSC.2018.8361322
DO - 10.1109/ICNSC.2018.8361322
M3 - Conference contribution
AN - SCOPUS:85048230843
T3 - ICNSC 2018 - 15th IEEE International Conference on Networking, Sensing and Control
SP - 1
EP - 6
BT - ICNSC 2018 - 15th IEEE International Conference on Networking, Sensing and Control
PB - Institute of Electrical and Electronics Engineers Inc.
T2 - 15th IEEE International Conference on Networking, Sensing and Control, ICNSC 2018
Y2 - 27 March 2018 through 29 March 2018
ER -