Xuhang Li, Jiliang Luo, Jun Li, Sijia Yi, Chunrong Pan
{"title":"基于改进PDDL的制造系统并行Petri网建模方法","authors":"Xuhang Li, Jiliang Luo, Jun Li, Sijia Yi, Chunrong Pan","doi":"10.1109/ICNSC55942.2022.10004131","DOIUrl":null,"url":null,"abstract":"Parallel Petri nets are a class of Petri nets which can take into account scheduling and control issues of manufacturing systems [1]. However, Its designed relies on the manual effort, which is very difficult and boring for real manufacturing systems. Therefore, this work defines an improved planning domain definition language (PDDL) to automatically translate it to a parallel Petri net. In details, the PDDL syntax is extended to make it more accurate and convenient to describe actions, tasks and conditions. Elements of an extended PDDL are automatically represented by places and transitions of a parallel Petri net. Finally, an experiment is taken to illustrate and verify our method.","PeriodicalId":230499,"journal":{"name":"2022 IEEE International Conference on Networking, Sensing and Control (ICNSC)","volume":"26 Suppl 1 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"2022-12-15","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"0","resultStr":"{\"title\":\"Parallel Petri Nets Modeling Method Of Manufacturing System Based On The improved PDDL\",\"authors\":\"Xuhang Li, Jiliang Luo, Jun Li, Sijia Yi, Chunrong Pan\",\"doi\":\"10.1109/ICNSC55942.2022.10004131\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"Parallel Petri nets are a class of Petri nets which can take into account scheduling and control issues of manufacturing systems [1]. However, Its designed relies on the manual effort, which is very difficult and boring for real manufacturing systems. Therefore, this work defines an improved planning domain definition language (PDDL) to automatically translate it to a parallel Petri net. In details, the PDDL syntax is extended to make it more accurate and convenient to describe actions, tasks and conditions. Elements of an extended PDDL are automatically represented by places and transitions of a parallel Petri net. Finally, an experiment is taken to illustrate and verify our method.\",\"PeriodicalId\":230499,\"journal\":{\"name\":\"2022 IEEE International Conference on Networking, Sensing and Control (ICNSC)\",\"volume\":\"26 Suppl 1 1\",\"pages\":\"0\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"2022-12-15\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"0\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"2022 IEEE International Conference on Networking, Sensing and Control (ICNSC)\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.1109/ICNSC55942.2022.10004131\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"2022 IEEE International Conference on Networking, Sensing and Control (ICNSC)","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/ICNSC55942.2022.10004131","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
Parallel Petri Nets Modeling Method Of Manufacturing System Based On The improved PDDL
Parallel Petri nets are a class of Petri nets which can take into account scheduling and control issues of manufacturing systems [1]. However, Its designed relies on the manual effort, which is very difficult and boring for real manufacturing systems. Therefore, this work defines an improved planning domain definition language (PDDL) to automatically translate it to a parallel Petri net. In details, the PDDL syntax is extended to make it more accurate and convenient to describe actions, tasks and conditions. Elements of an extended PDDL are automatically represented by places and transitions of a parallel Petri net. Finally, an experiment is taken to illustrate and verify our method.