Pub Date : 2018-10-08DOI: 10.1201/9781315214665-13
J. Mireles, F. Lewis, A. Giirel, S. Bogdan
This chapter presents a deadlock-avoidance matrix-based supervisory controller for discrete event systems. The formulation of this matrix-based controller makes it direct to write it down from standard manufacturing tools such as the bill of materials or the assembly tree. It is shown that the discrete event controller's matrix form equations plus the Petri Net marking transition equation together provide a complete dynamical description of discrete event systems.
{"title":"Deadlock Avoidance Algorithms and Implementation: A Matrix Based Approach","authors":"J. Mireles, F. Lewis, A. Giirel, S. Bogdan","doi":"10.1201/9781315214665-13","DOIUrl":"https://doi.org/10.1201/9781315214665-13","url":null,"abstract":"This chapter presents a deadlock-avoidance matrix-based supervisory controller for discrete event systems. The formulation of this matrix-based controller makes it direct to write it down from standard manufacturing tools such as the bill of materials or the assembly tree. It is shown that the discrete event controller's matrix form equations plus the Petri Net marking transition equation together provide a complete dynamical description of discrete event systems.","PeriodicalId":212719,"journal":{"name":"Deadlock Resolution in Computer-Integrated Systems","volume":"2 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":"133008539","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}
{"title":"Introduction to Deadlock Research in Computer-Integrated Systems by M. P. Fanti and M. C. Zhou","authors":"M. P. Fanti, Mengchu Zhou","doi":"10.1201/9781315214665-7","DOIUrl":"https://doi.org/10.1201/9781315214665-7","url":null,"abstract":"","PeriodicalId":212719,"journal":{"name":"Deadlock Resolution in Computer-Integrated Systems","volume":"33 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":"133920170","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-17
{"title":"Resource-Oriented Petri Nets in Deadlock Prevention and Avoidance by N. Wu and M. C. Zhou","authors":"","doi":"10.1201/9781315214665-17","DOIUrl":"https://doi.org/10.1201/9781315214665-17","url":null,"abstract":"","PeriodicalId":212719,"journal":{"name":"Deadlock Resolution in Computer-Integrated Systems","volume":"46 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":"133061934","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-16
{"title":"Elementary Siphons of Petri Nets for Efficient Deadlock Control by Z. Li and M. C. Zhou","authors":"","doi":"10.1201/9781315214665-16","DOIUrl":"https://doi.org/10.1201/9781315214665-16","url":null,"abstract":"","PeriodicalId":212719,"journal":{"name":"Deadlock Resolution in Computer-Integrated Systems","volume":"23 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":"134322409","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-11
{"title":"Digraph-Based Techniques for Deadlock Resolution in Automated Manufac","authors":"","doi":"10.1201/9781315214665-11","DOIUrl":"https://doi.org/10.1201/9781315214665-11","url":null,"abstract":"","PeriodicalId":212719,"journal":{"name":"Deadlock Resolution in Computer-Integrated Systems","volume":"99 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":"125130187","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}
{"title":"Synthesis of Deadlock-Free Supervisory Controllers Using Automata by A. Ramirez-Serrano and B. Benhabib","authors":"","doi":"10.1201/9781315214665-9","DOIUrl":"https://doi.org/10.1201/9781315214665-9","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":"122234988","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-24
{"title":"Deadlock Handling in Database Systems by M. Weske","authors":"","doi":"10.1201/9781315214665-24","DOIUrl":"https://doi.org/10.1201/9781315214665-24","url":null,"abstract":"","PeriodicalId":212719,"journal":{"name":"Deadlock Resolution in Computer-Integrated Systems","volume":"9 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":"129107602","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-12
{"title":"Deadlock-Free Supervisory Control for Assembly and Disassembly Systems","authors":"","doi":"10.1201/9781315214665-12","DOIUrl":"https://doi.org/10.1201/9781315214665-12","url":null,"abstract":"","PeriodicalId":212719,"journal":{"name":"Deadlock Resolution in Computer-Integrated Systems","volume":"52 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":"122691713","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
扫码关注我们
求助内容：
应助结果提醒方式：