{"title":"用区域理论设计一个活的和最大允许的Petri网控制器","authors":"A. Ghaffari, N. Rezg, Xiaolan Xie","doi":"10.1109/TRA.2002.807555","DOIUrl":null,"url":null,"abstract":"This paper addresses the forbidden state problem of Petri nets (PN) with liveness requirement and uncontrollable transitions. The proposed approach computes a maximally permissive PN controller, whenever such a controller exists. The first step, based on a Ramadge-Wonham-like reasoning (1989), determines the legal and live maximal behavior the controlled PN should have. In the second step, the theory of regions is used to design control places to add to the original model to realize the desired behavior. Furthermore, necessary and sufficient conditions for the existence of control places realizing the maximum permissive control are given. A parameterized manufacturing application of significant state space is used to show the efficiency of the proposed approach.","PeriodicalId":161449,"journal":{"name":"IEEE Trans. Robotics Autom.","volume":null,"pages":null},"PeriodicalIF":0.0000,"publicationDate":"2003-02-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"352","resultStr":"{\"title\":\"Design of a live and maximally permissive Petri net controller using the theory of regions\",\"authors\":\"A. Ghaffari, N. Rezg, Xiaolan Xie\",\"doi\":\"10.1109/TRA.2002.807555\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"This paper addresses the forbidden state problem of Petri nets (PN) with liveness requirement and uncontrollable transitions. The proposed approach computes a maximally permissive PN controller, whenever such a controller exists. The first step, based on a Ramadge-Wonham-like reasoning (1989), determines the legal and live maximal behavior the controlled PN should have. In the second step, the theory of regions is used to design control places to add to the original model to realize the desired behavior. Furthermore, necessary and sufficient conditions for the existence of control places realizing the maximum permissive control are given. A parameterized manufacturing application of significant state space is used to show the efficiency of the proposed approach.\",\"PeriodicalId\":161449,\"journal\":{\"name\":\"IEEE Trans. Robotics Autom.\",\"volume\":null,\"pages\":null},\"PeriodicalIF\":0.0000,\"publicationDate\":\"2003-02-19\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"352\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"IEEE Trans. Robotics Autom.\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.1109/TRA.2002.807555\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"IEEE Trans. Robotics Autom.","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/TRA.2002.807555","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
Design of a live and maximally permissive Petri net controller using the theory of regions
This paper addresses the forbidden state problem of Petri nets (PN) with liveness requirement and uncontrollable transitions. The proposed approach computes a maximally permissive PN controller, whenever such a controller exists. The first step, based on a Ramadge-Wonham-like reasoning (1989), determines the legal and live maximal behavior the controlled PN should have. In the second step, the theory of regions is used to design control places to add to the original model to realize the desired behavior. Furthermore, necessary and sufficient conditions for the existence of control places realizing the maximum permissive control are given. A parameterized manufacturing application of significant state space is used to show the efficiency of the proposed approach.
京公网安备 11010802042870号
京ICP备2023020795号-1
分享
求助内容：
应助结果提醒方式：
扫码关注我们
