{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,20]],"date-time":"2026-05-20T00:06:42Z","timestamp":1779235602857,"version":"3.51.4"},"reference-count":53,"publisher":"SAGE Publications","issue":"12","license":[{"start":{"date-parts":[[2020,3,22]],"date-time":"2020-03-22T00:00:00Z","timestamp":1584835200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/journals.sagepub.com\/page\/policies\/text-and-data-mining-license"}],"funder":[{"DOI":"10.13039\/501100008049","name":"xi\u2019an polytechnic university","doi-asserted-by":"publisher","award":["Central University Grant"],"award-info":[{"award-number":["Central University Grant"]}],"id":[{"id":"10.13039\/501100008049","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["journals.sagepub.com"],"crossmark-restriction":true},"short-container-title":["Transactions of the Institute of Measurement and Control"],"published-print":{"date-parts":[[2020,8]]},"abstract":"<jats:p>\n                    The decentralized supervisory structure has drawn much attention in recent years. Many studies are reported in the paradigm of automata while few can be found in the Petri net model. This paper proposes a new method for decentralized supervisory control using the Petri net paradigm. Two efficient Algorithms are developed in the proposed method. Algorithm 1 is used to compute decentralized working zones from the given LS\n                    <jats:sup>3<\/jats:sup>\n                    PR Petri net model for flexible manufacturing systems. Algorithm 2 is used to compute the decentralized controllers that enforced liveness to the decentralized working zones. The sequential assembling is used to reconnect and controlled the working zones via decentralized controllers. The decentralized controller is added to the decentralized working zones that have common elements, that is, common transitions. The proposed method has the following advantages: (i) it can be applied to a complex Petri net model for flexible manufacturing systems, (ii) the proposed methods has less computational complexity when compared with the previous methods, (iii) the proposed method can obtain a minimal number of decentralized controllers that enforce liveness of the uncontrolled Petri net model. Experimental examples are presented to explore the applicability of the proposed methods.\n                  <\/jats:p>","DOI":"10.1177\/0142331220908999","type":"journal-article","created":{"date-parts":[[2020,3,23]],"date-time":"2020-03-23T00:39:23Z","timestamp":1584923963000},"page":"2206-2220","update-policy":"https:\/\/doi.org\/10.1177\/sage-journals-update-policy","source":"Crossref","is-referenced-by-count":7,"title":["Optimal enforcement of liveness for decentralized systems of flexible manufacturing systems using Petri nets"],"prefix":"10.1177","volume":"42","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-9087-9412","authenticated-orcid":false,"given":"Muhammad","family":"Bashir","sequence":"first","affiliation":[{"name":"School of Electronics and Information, Xi\u2019an Polytechnic University, China"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"179","published-online":{"date-parts":[[2020,3,22]]},"reference":[{"key":"bibr1-0142331220908999","first-page":"258","volume-title":"IEEE 7th International Conference on Information and Communication Systems (ICICS)","author":"Ab-Malek MS","year":"2016"},{"key":"bibr2-0142331220908999","doi-asserted-by":"publisher","DOI":"10.3390\/pr7090595"},{"key":"bibr3-0142331220908999","doi-asserted-by":"publisher","DOI":"10.1093\/imamci\/dnx024"},{"key":"bibr4-0142331220908999","doi-asserted-by":"publisher","DOI":"10.1109\/ACCESS.2017.2735418"},{"issue":"1","key":"bibr5-0142331220908999","first-page":"1","volume":"10","author":"Bashir M","year":"2018","journal-title":"SAGE Journal of Advances in Mechanical Engineering (AIME)"},{"key":"bibr6-0142331220908999","doi-asserted-by":"publisher","DOI":"10.1109\/ICCAR.2016.7486743"},{"key":"bibr7-0142331220908999","doi-asserted-by":"publisher","DOI":"10.1016\/j.automatica.2014.12.004"},{"key":"bibr8-0142331220908999","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2003.811249"},{"key":"bibr9-0142331220908999","doi-asserted-by":"publisher","DOI":"10.1109\/ICSMC.1997.638274"},{"key":"bibr10-0142331220908999","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2009.5400716"},{"key":"bibr11-0142331220908999","doi-asserted-by":"publisher","DOI":"10.1016\/j.automatica.2012.06.068"},{"key":"bibr12-0142331220908999","doi-asserted-by":"publisher","DOI":"10.1016\/j.ins.2016.11.011"},{"key":"bibr13-0142331220908999","doi-asserted-by":"publisher","DOI":"10.1016\/j.automatica.2015.02.014"},{"key":"bibr14-0142331220908999","doi-asserted-by":"publisher","DOI":"10.1109\/70.650158"},{"key":"bibr15-0142331220908999","doi-asserted-by":"publisher","DOI":"10.1049\/iet-gtd.2015.0397"},{"key":"bibr16-0142331220908999","doi-asserted-by":"publisher","DOI":"10.1109\/70.370500"},{"key":"bibr17-0142331220908999","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-69108-1_5"},{"key":"bibr18-0142331220908999","doi-asserted-by":"publisher","DOI":"10.1109\/IRI.2006.252390"},{"key":"bibr19-0142331220908999","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2011.6161340"},{"key":"bibr20-0142331220908999","first-page":"974","volume-title":"1992 IEEE International Conference on Systems, Man, and Cybernetics","author":"Giua A","year":"1992"},{"key":"bibr21-0142331220908999","doi-asserted-by":"publisher","DOI":"10.1016\/j.automatica.2017.08.009"},{"key":"bibr22-0142331220908999","doi-asserted-by":"publisher","DOI":"10.1109\/RAMECH.2008.4681511"},{"key":"bibr23-0142331220908999","doi-asserted-by":"publisher","DOI":"10.1145\/2406336.2406347"},{"key":"bibr24-0142331220908999","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2005.863894"},{"key":"bibr25-0142331220908999","doi-asserted-by":"publisher","DOI":"10.1177\/0142331208097839"},{"key":"bibr26-0142331220908999","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2007.915164"},{"key":"bibr27-0142331220908999","first-page":"3081","volume-title":"IEEE\/RSJ International Conference on Intelligent Robots and Systems","author":"Lacerda B","year":"2011"},{"key":"bibr28-0142331220908999","doi-asserted-by":"publisher","DOI":"10.1109\/IECON.2010.5675311"},{"key":"bibr29-0142331220908999","doi-asserted-by":"publisher","DOI":"10.1109\/TIE.2005.855694"},{"key":"bibr30-0142331220908999","doi-asserted-by":"publisher","DOI":"10.1109\/TASE.2007.905995"},{"issue":"3","key":"bibr31-0142331220908999","first-page":"406","volume":"33","author":"Li ZW","year":"2009","journal-title":"Transactions of the Institute of Measurement and Control"},{"key":"bibr32-0142331220908999","doi-asserted-by":"publisher","DOI":"10.1109\/TSMCC.2011.2160626"},{"key":"bibr33-0142331220908999","doi-asserted-by":"publisher","DOI":"10.1109\/TSMCC.2008.2007246"},{"key":"bibr34-0142331220908999","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2016.2586604"},{"key":"bibr35-0142331220908999","doi-asserted-by":"publisher","DOI":"10.1177\/0142331216656755"},{"key":"bibr36-0142331220908999","doi-asserted-by":"publisher","DOI":"10.1109\/SBCCI.2001.953007"},{"key":"bibr37-0142331220908999","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2007.915173"},{"key":"bibr38-0142331220908999","doi-asserted-by":"publisher","DOI":"10.1177\/0142331214525799"},{"key":"bibr39-0142331220908999","doi-asserted-by":"publisher","DOI":"10.1109\/ROBOT.2010.5509552"},{"key":"bibr40-0142331220908999","doi-asserted-by":"publisher","DOI":"10.1016\/j.ifacol.2016.07.637"},{"key":"bibr41-0142331220908999","doi-asserted-by":"publisher","DOI":"10.1109\/TSMCA.2011.2169955"},{"issue":"7","key":"bibr42-0142331220908999","first-page":"7","volume":"51","author":"Sakakibara A","year":"2018","journal-title":"IFAC"},{"key":"bibr43-0142331220908999","doi-asserted-by":"publisher","DOI":"10.1109\/TASE.2017.2669893"},{"key":"bibr44-0142331220908999","first-page":"1","volume":"18","author":"Tebekaemia E","year":"2019","journal-title":"Sustainable Energy, Grids and Networks"},{"key":"bibr45-0142331220908999","doi-asserted-by":"publisher","DOI":"10.1109\/3468.553226"},{"key":"bibr46-0142331220908999","doi-asserted-by":"publisher","DOI":"10.23919\/SICE.2018.8492587"},{"key":"bibr47-0142331220908999","doi-asserted-by":"publisher","DOI":"10.1109\/ICRA.2011.5979727"},{"key":"bibr48-0142331220908999","doi-asserted-by":"publisher","DOI":"10.3166\/ejc.8.477-491"},{"key":"bibr49-0142331220908999","doi-asserted-by":"publisher","DOI":"10.1177\/0142331217737834"},{"issue":"8","key":"bibr50-0142331220908999","first-page":"1","volume":"48","author":"Ye J","year":"2017","journal-title":"IEEE Transactions On Systems, Man, And Cybernetics: Systems"},{"key":"bibr51-0142331220908999","doi-asserted-by":"publisher","DOI":"10.1109\/TSMC.2014.2373316"},{"key":"bibr52-0142331220908999","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2005.852556"},{"key":"bibr53-0142331220908999","doi-asserted-by":"publisher","DOI":"10.1109\/CoASE.2014.6899365"}],"container-title":["Transactions of the Institute of Measurement and Control"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/journals.sagepub.com\/doi\/pdf\/10.1177\/0142331220908999","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/journals.sagepub.com\/doi\/full-xml\/10.1177\/0142331220908999","content-type":"application\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/journals.sagepub.com\/doi\/pdf\/10.1177\/0142331220908999","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,5,1]],"date-time":"2026-05-01T15:01:03Z","timestamp":1777647663000},"score":1,"resource":{"primary":{"URL":"https:\/\/journals.sagepub.com\/doi\/10.1177\/0142331220908999"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020,3,22]]},"references-count":53,"journal-issue":{"issue":"12","published-print":{"date-parts":[[2020,8]]}},"alternative-id":["10.1177\/0142331220908999"],"URL":"https:\/\/doi.org\/10.1177\/0142331220908999","relation":{},"ISSN":["0142-3312","1477-0369"],"issn-type":[{"value":"0142-3312","type":"print"},{"value":"1477-0369","type":"electronic"}],"subject":[],"published":{"date-parts":[[2020,3,22]]}}}