{"title":"制造系统中排除禁止状态的petri网控制器设计","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":"{\"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}","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}
DESIGN OF PETRI NET CONTROLLERS TO EXCLUDE FORBIDDEN STATES IN MANUFACTURING SYSTEMS
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.