{"title":"Petri Nets based Deadlock-free Scheduling for Flexible Manufacturing Systems","authors":"Y. He, G. N. Wang","doi":"10.1109/ICARCV.2006.345377","DOIUrl":null,"url":null,"abstract":"An efficient search algorithm for scheduling flexible manufacturing systems modeled by timed Petri nets is presented in this paper. The algorithm is based on the application of the A* algorithm and combines the structure theory of Petri nets. The proposed heuristic function can guarantee the optimal deadlock-free schedule can be obtained by applying the algorithm. Structural analysis of Petri nets is used as an truncation technique for the proposed algorithm. The efficiency of the proposed method is illustrated using an example of FMS scheduling problem","PeriodicalId":415827,"journal":{"name":"2006 9th International Conference on Control, Automation, Robotics and Vision","volume":"26 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"2006-12-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"7","resultStr":null,"platform":"Semanticscholar","paperid":null,"PeriodicalName":"2006 9th International Conference on Control, Automation, Robotics and Vision","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/ICARCV.2006.345377","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
引用次数: 7
Abstract
An efficient search algorithm for scheduling flexible manufacturing systems modeled by timed Petri nets is presented in this paper. The algorithm is based on the application of the A* algorithm and combines the structure theory of Petri nets. The proposed heuristic function can guarantee the optimal deadlock-free schedule can be obtained by applying the algorithm. Structural analysis of Petri nets is used as an truncation technique for the proposed algorithm. The efficiency of the proposed method is illustrated using an example of FMS scheduling problem