{"title":"DESIGN OF PETRI NET CONTROLLERS TO EXCLUDE FORBIDDEN STATES IN MANUFACTURING SYSTEMS","authors":"Y. Y. Yang, D. Linkens","doi":"10.1049/IC:19951563","DOIUrl":null,"url":null,"abstract":"Abstract A novel method for Petri net controller synthesis to exclude forbidden states has been proposed. The method is based on the concepts of place invariants and the structural conflicts of Petri net theory. Design methodologies to deal with place (marking) constraints, transition (firing vector) constraints, and combined place/transition constraints are given. The Petri net controller derived is maximally permissive. Furthermore, it can be applied to any processes which can be modelled by ordinary Petri nets, without the restriction of safety. This method is very attractive even for large Petri net models and will be applicable to practical manufacturing systems due to its simplicity.","PeriodicalId":250927,"journal":{"name":"Intelligent Manufacturing Systems","volume":"10 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"1999-07-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"7","resultStr":null,"platform":"Semanticscholar","paperid":null,"PeriodicalName":"Intelligent Manufacturing Systems","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1049/IC:19951563","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
引用次数: 7
Abstract
Abstract A novel method for Petri net controller synthesis to exclude forbidden states has been proposed. The method is based on the concepts of place invariants and the structural conflicts of Petri net theory. Design methodologies to deal with place (marking) constraints, transition (firing vector) constraints, and combined place/transition constraints are given. The Petri net controller derived is maximally permissive. Furthermore, it can be applied to any processes which can be modelled by ordinary Petri nets, without the restriction of safety. This method is very attractive even for large Petri net models and will be applicable to practical manufacturing systems due to its simplicity.
京公网安备 11010802042870号
京ICP备2023020795号-1
分享
求助内容：
应助结果提醒方式：
扫码关注我们
