{"title":"彩色Petri网建模柔性制造系统中的死锁避免策略","authors":"M. Fanti, B. Turchiano","doi":"10.1109/ETFA.1999.813112","DOIUrl":null,"url":null,"abstract":"The high degree of resource sharing in flexible manufacturing systems can lead to deadlock situations. We model the concurrent execution of working processes through colored Petri nets and we implement some effective deadlock avoidance policies in the same framework. Control places impose restrictions on the transition firing on the basis of the current marking and a look-ahead procedure of only one step.","PeriodicalId":119106,"journal":{"name":"1999 7th IEEE International Conference on Emerging Technologies and Factory Automation. Proceedings ETFA '99 (Cat. No.99TH8467)","volume":"1 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"1999-10-18","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"0","resultStr":"{\"title\":\"Deadlock avoidance policies applied to flexible manufacturing systems modelled by colored Petri nets\",\"authors\":\"M. Fanti, B. Turchiano\",\"doi\":\"10.1109/ETFA.1999.813112\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"The high degree of resource sharing in flexible manufacturing systems can lead to deadlock situations. We model the concurrent execution of working processes through colored Petri nets and we implement some effective deadlock avoidance policies in the same framework. Control places impose restrictions on the transition firing on the basis of the current marking and a look-ahead procedure of only one step.\",\"PeriodicalId\":119106,\"journal\":{\"name\":\"1999 7th IEEE International Conference on Emerging Technologies and Factory Automation. Proceedings ETFA '99 (Cat. No.99TH8467)\",\"volume\":\"1 1\",\"pages\":\"0\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"1999-10-18\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"0\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"1999 7th IEEE International Conference on Emerging Technologies and Factory Automation. Proceedings ETFA '99 (Cat. No.99TH8467)\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.1109/ETFA.1999.813112\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"1999 7th IEEE International Conference on Emerging Technologies and Factory Automation. Proceedings ETFA '99 (Cat. No.99TH8467)","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/ETFA.1999.813112","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
Deadlock avoidance policies applied to flexible manufacturing systems modelled by colored Petri nets
The high degree of resource sharing in flexible manufacturing systems can lead to deadlock situations. We model the concurrent execution of working processes through colored Petri nets and we implement some effective deadlock avoidance policies in the same framework. Control places impose restrictions on the transition firing on the basis of the current marking and a look-ahead procedure of only one step.
京公网安备 11010802042870号
京ICP备2023020795号-1
分享
求助内容：
应助结果提醒方式：
扫码关注我们
