Pub Date : 2018-10-08DOI: 10.1201/9781315214665-23
{"title":"Models Used in Static Analysis for Deadlocks of Ada Tasking Programs by M. Tiusanen and T. Murata","authors":"","doi":"10.1201/9781315214665-23","DOIUrl":"https://doi.org/10.1201/9781315214665-23","url":null,"abstract":"","PeriodicalId":212719,"journal":{"name":"Deadlock Resolution in Computer-Integrated Systems","volume":"47 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2018-10-08","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116065328","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
An approach to deadlock avoidance based on finite automata is reviewed in this chapter. This approach begins from the framework introduced by Ramadge and Wonham (R&W) for modeling and control of discrete event systems based on formal languages generated by finite automata. We apply this framework to the problem of dynamic scheduling and control of automated manufacturing systems. A typical automated manufacturing system is composed of multiple machines and workstations that perform various operations on a part, and a material handling system that interconnects these machines and workstations. Parts are processed to completion by routing them through various machines and workstations according to their individual process plans. After processing is complete, the part leaves the system. Deadlock occurs when parts enter a "circular wait" condition where, in order to continue processing, a set of two or more parts require resources that are held by parts of the same set. Our approach to avoiding deadlock is unique in the following contributions: 1) A simple and natural way of formulating the "requirements model" of the R&W framework from the part routing plans, 2) An ability to handle parts with multiple routing plans within the framework, 3) a solution that guarantees that the resulting controller is both deadlock-free and maximally permissive, and 4) An ability to dynamically reevaluate the controller logic as the active part mix in the manufacturing system changes. The direct application of the R&W framework can involve a large search space as problem size grows. Extensions of our approach have addressed the problems of scalability, state space search, and execution time. This has been accomplished through the introduction of more effective state space search algorithms. These extensions and the relative efficiency of algorithms is also discussed and demonstrated in this chapter.
{"title":"Deadlock Avoidance in Automated Manufacturing Systems Using Finite Automata and State Space Search","authors":"A. Yalcin, T. Tai, T. Boucher","doi":"10.1201/9781315214665-8","DOIUrl":"https://doi.org/10.1201/9781315214665-8","url":null,"abstract":"An approach to deadlock avoidance based on finite automata is reviewed in this chapter. This approach begins from the framework introduced by Ramadge and Wonham (R&W) for modeling and control of discrete event systems based on formal languages generated by finite automata. We apply this framework to the problem of dynamic scheduling and control of automated manufacturing systems. A typical automated manufacturing system is composed of multiple machines and workstations that perform various operations on a part, and a material handling system that interconnects these machines and workstations. Parts are processed to completion by routing them through various machines and workstations according to their individual process plans. After processing is complete, the part leaves the system. Deadlock occurs when parts enter a \"circular wait\" condition where, in order to continue processing, a set of two or more parts require resources that are held by parts of the same set. Our approach to avoiding deadlock is unique in the following contributions: 1) A simple and natural way of formulating the \"requirements model\" of the R&W framework from the part routing plans, 2) An ability to handle parts with multiple routing plans within the framework, 3) a solution that guarantees that the resulting controller is both deadlock-free and maximally permissive, and 4) An ability to dynamically reevaluate the controller logic as the active part mix in the manufacturing system changes. The direct application of the R&W framework can involve a large search space as problem size grows. Extensions of our approach have addressed the problems of scalability, state space search, and execution time. This has been accomplished through the introduction of more effective state space search algorithms. These extensions and the relative efficiency of algorithms is also discussed and demonstrated in this chapter.","PeriodicalId":212719,"journal":{"name":"Deadlock Resolution in Computer-Integrated Systems","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2018-10-08","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128537263","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2018-10-08DOI: 10.1201/9781315214665-18
{"title":"The Effect of Modeling and Control Techniques on the Management of Dead locks in FMS by L. Ferrarmi and L. Piroddi","authors":"","doi":"10.1201/9781315214665-18","DOIUrl":"https://doi.org/10.1201/9781315214665-18","url":null,"abstract":"","PeriodicalId":212719,"journal":{"name":"Deadlock Resolution in Computer-Integrated Systems","volume":"15 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2018-10-08","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"114587294","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2018-10-08DOI: 10.1201/9781315214665-15
{"title":"Siphon-Based Characterization of Liveness and Liveness-Enforcing Supervision for Sequential Resource Allocation Systems by S. Reveliotis","authors":"","doi":"10.1201/9781315214665-15","DOIUrl":"https://doi.org/10.1201/9781315214665-15","url":null,"abstract":"","PeriodicalId":212719,"journal":{"name":"Deadlock Resolution in Computer-Integrated Systems","volume":"163 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2018-10-08","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"132958104","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2018-10-08DOI: 10.1201/9781315214665-14
{"title":"Deadlock Detection and Prevention of Automated Manufacturing Systems Using Petri Nets and Siphons by M. D. Jeng, and X. Xie","authors":"","doi":"10.1201/9781315214665-14","DOIUrl":"https://doi.org/10.1201/9781315214665-14","url":null,"abstract":"","PeriodicalId":212719,"journal":{"name":"Deadlock Resolution in Computer-Integrated Systems","volume":"3 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2018-10-08","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121190930","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2018-10-08DOI: 10.1201/9781315214665-20
{"title":"Deadlock Models for a Multi-Service Medium Access Protocol Employing a Slotted Aloha or Q-ary Tree Based Signaling Channel","authors":"","doi":"10.1201/9781315214665-20","DOIUrl":"https://doi.org/10.1201/9781315214665-20","url":null,"abstract":"","PeriodicalId":212719,"journal":{"name":"Deadlock Resolution in Computer-Integrated Systems","volume":"17 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2018-10-08","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"133739661","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2018-10-08DOI: 10.1201/9781315214665-22
{"title":"Deadlock Resolution in Large-Scale Internet Computing by J. Park","authors":"","doi":"10.1201/9781315214665-22","DOIUrl":"https://doi.org/10.1201/9781315214665-22","url":null,"abstract":"","PeriodicalId":212719,"journal":{"name":"Deadlock Resolution in Computer-Integrated Systems","volume":"55 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2018-10-08","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"132269250","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2018-10-08DOI: 10.1201/9781315214665-21
{"title":"Deadlock-Free TCP Over High-Speed Internet by Rocky K. C. Chang, H. Y. Chan and A. W. Yeung","authors":"","doi":"10.1201/9781315214665-21","DOIUrl":"https://doi.org/10.1201/9781315214665-21","url":null,"abstract":"","PeriodicalId":212719,"journal":{"name":"Deadlock Resolution in Computer-Integrated Systems","volume":"162 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2018-10-08","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121301128","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2018-10-08DOI: 10.1201/9781315214665-19
{"title":"Deadlock Characterization and Resolution in Interconnection Networks by T. M. Pinkston","authors":"","doi":"10.1201/9781315214665-19","DOIUrl":"https://doi.org/10.1201/9781315214665-19","url":null,"abstract":"","PeriodicalId":212719,"journal":{"name":"Deadlock Resolution in Computer-Integrated Systems","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2018-10-08","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116075138","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
京公网安备 11010802042870号
京ICP备2023020795号-1
扫码关注我们
求助内容：
应助结果提醒方式：