Cheng Li, Liyang Tang, Liwei Pan, Weimin Wu, G. Rong
{"title":"Scheduling FMSs based on a hybrid Petri net framework","authors":"Cheng Li, Liyang Tang, Liwei Pan, Weimin Wu, G. Rong","doi":"10.1109/ICNSC.2017.8000080","DOIUrl":null,"url":null,"abstract":"For solving flexible manufacturing system (FMS) scheduling problems based on Petri net execution, search algorithms need fewer redundant states in the reachability graph and a more efficient heuristic function to guide its expansion. In this paper, we illustrate that place-timed Petri nets (PTPNs) own advantages in restraining redundant states while transition-timed Petri nets (TTPNs) are beneficial for developing more efficient heuristic functions. We then propose a hybrid framework of the PTPN and TTPN. In this framework, a PTPN is used to construct the search algorithm and TTPN markings are transformed into PTPN markings. The lower bound of makespan can be calculated through a TTPN heuristic function to guide the search algorithm. As a result, overall search effort can be greatly reduced. The results demonstrate that the proposed method performs much better than existing methods.","PeriodicalId":145129,"journal":{"name":"2017 IEEE 14th International Conference on Networking, Sensing and Control (ICNSC)","volume":"9 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"2017-05-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"1","resultStr":null,"platform":"Semanticscholar","paperid":null,"PeriodicalName":"2017 IEEE 14th International Conference on Networking, Sensing and Control (ICNSC)","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/ICNSC.2017.8000080","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
引用次数: 1
Abstract
For solving flexible manufacturing system (FMS) scheduling problems based on Petri net execution, search algorithms need fewer redundant states in the reachability graph and a more efficient heuristic function to guide its expansion. In this paper, we illustrate that place-timed Petri nets (PTPNs) own advantages in restraining redundant states while transition-timed Petri nets (TTPNs) are beneficial for developing more efficient heuristic functions. We then propose a hybrid framework of the PTPN and TTPN. In this framework, a PTPN is used to construct the search algorithm and TTPN markings are transformed into PTPN markings. The lower bound of makespan can be calculated through a TTPN heuristic function to guide the search algorithm. As a result, overall search effort can be greatly reduced. The results demonstrate that the proposed method performs much better than existing methods.