{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,21]],"date-time":"2025-02-21T10:42:48Z","timestamp":1740134568934,"version":"3.37.3"},"reference-count":34,"publisher":"Wiley","license":[{"start":{"date-parts":[[2013,1,1]],"date-time":"2013-01-01T00:00:00Z","timestamp":1356998400000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/creativecommons.org\/licenses\/by\/3.0\/"}],"funder":[{"DOI":"10.13039\/501100001868","name":"National Science Council","doi-asserted-by":"publisher","award":["NSC 101-2221-E-013-001","ICT1318"],"award-info":[{"award-number":["NSC 101-2221-E-013-001","ICT1318"]}],"id":[{"id":"10.13039\/501100001868","id-type":"DOI","asserted-by":"publisher"}]},{"name":"Industrial Control Technology, Zhejiang University, China","award":["NSC 101-2221-E-013-001","ICT1318"],"award-info":[{"award-number":["NSC 101-2221-E-013-001","ICT1318"]}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Journal of Applied Mathematics"],"published-print":{"date-parts":[[2013]]},"abstract":"<jats:p>Deadlock prevention policies are used to solve the deadlock problems of FMSs. It is well known that the theory of regions is the efficient method for obtaining optimal (i.e., maximally permissive) controllers. All legal and live maximal behaviors of Petri net models can be preserved by using marking\/transition-separation instances (MTSIs) or event-state-separation-problem (ESSP) methods. However, they encountered great difficulties in solving all sets of inequalities that is an extremely time consuming problem. Moreover, the number of linear programming problems (LPPs) of legal markings is also exponential with net size when a plant net grows exponentially. This paper proposes a novel methodology to reduce the number of MTSIs\/ESSPs and LPPs. In this paper, we used the well-known reduction approach Murata (1989) to simply the construct of system such that the problem of LPPs can then be reduced. Additionally, critical ones of crucial marking\/transition-separation instances (COCMTSI) are developed and used in our deadlock prevention policy that allows designers to employ few MTSIs to deal with deadlocks. Experimental results indicate that the computational cost can be reduced. To our knowledge, this deadlock prevention policy is the most efficient policy to obtain maximal permissive behavior of Petri net models than past approaches.<\/jats:p>","DOI":"10.1155\/2013\/294835","type":"journal-article","created":{"date-parts":[[2013,6,19]],"date-time":"2013-06-19T17:03:53Z","timestamp":1371661433000},"page":"1-11","source":"Crossref","is-referenced-by-count":8,"title":["Computationally Improved Optimal Control Methodology for Linear Programming Problems of Flexible Manufacturing Systems"],"prefix":"10.1155","volume":"2013","author":[{"given":"Yen-Liang","family":"Pan","sequence":"first","affiliation":[{"name":"Department of Avionic Engineering, Air Force Academy, Taiwan"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-8800-322X","authenticated-orcid":true,"given":"Yi-Sheng","family":"Huang","sequence":"additional","affiliation":[{"name":"Department of Electronic Engineering, National Ilan University, Taiwan"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Yi-Shun","family":"Weng","sequence":"additional","affiliation":[{"name":"Department of Electronic Engineering, Army Academy, Taiwan"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Weimin","family":"Wu","sequence":"additional","affiliation":[{"name":"State Key Laboratory of Industrial Control Technology and Institute of Cyber-Systems and Control, Zhejiang University, Hangzhou 310027, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"MuDer","family":"Jeng","sequence":"additional","affiliation":[{"name":"Department of Electronic Engineering, National Taiwan Ocean University, Taiwan"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"311","reference":[{"key":"1","doi-asserted-by":"publisher","DOI":"10.1080\/00207540010002405"},{"key":"2","doi-asserted-by":"publisher","DOI":"10.1109\/TSMCA.2006.878966"},{"key":"3","doi-asserted-by":"publisher","DOI":"10.1109\/TSMCA.2006.878953"},{"issue":"1","key":"4","first-page":"215","volume":"23","year":"2007","journal-title":"Journal of Information Science and Engineering"},{"key":"5","doi-asserted-by":"publisher","DOI":"10.1007\/s00170-006-0708-y"},{"key":"6","doi-asserted-by":"publisher","DOI":"10.1109\/TSMCC.2007.897333"},{"key":"9","doi-asserted-by":"publisher","DOI":"10.1109\/70.843175"},{"issue":"1","key":"10","doi-asserted-by":"crossref","first-page":"38","DOI":"10.1109\/TSMCA.2003.820576","volume":"34","year":"2004","journal-title":"IEEE Transactions on Systems, Man and Cybernetics, Part A"},{"key":"15","doi-asserted-by":"publisher","DOI":"10.1109\/TSMCA.2007.893484"},{"key":"19","doi-asserted-by":"publisher","DOI":"10.1007\/s00170-009-2299-x"},{"key":"20","doi-asserted-by":"publisher","DOI":"10.1049\/iet-cta.2010.0371"},{"key":"21","doi-asserted-by":"publisher","DOI":"10.1109\/TSMCA.2011.2164241"},{"key":"11","doi-asserted-by":"publisher","DOI":"10.1109\/70.388784"},{"issue":"3","key":"12","doi-asserted-by":"crossref","first-page":"192","DOI":"10.1007\/s001700200014","volume":"19","year":"2002","journal-title":"International Journal of Advanced Manufacturing Technology"},{"issue":"1-2","key":"13","first-page":"48","volume":"24","year":"2004","journal-title":"International Journal of Advanced Manufacturing Technology"},{"issue":"3-4","key":"14","doi-asserted-by":"crossref","first-page":"204","DOI":"10.1007\/s00170-002-1526-5","volume":"23","year":"2004","journal-title":"International Journal of Advanced Manufacturing Technology"},{"key":"17","doi-asserted-by":"publisher","DOI":"10.1109\/TRA.2002.807555"},{"key":"18","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2002.806651"},{"issue":"1","key":"22","first-page":"11","volume":"1211","year":"2013","journal-title":"ACM Transactions on Embedded Computing Systems"},{"volume-title":"Theory of regions","year":"1998","key":"23"},{"key":"37","doi-asserted-by":"publisher","DOI":"10.1109\/5.24143"},{"key":"24","doi-asserted-by":"publisher","DOI":"10.1109\/TASE.2006.884674"},{"key":"25","doi-asserted-by":"publisher","DOI":"10.1007\/s00170-007-1074-0"},{"key":"26","doi-asserted-by":"publisher","DOI":"10.1109\/TSMCC.2007.913920"},{"key":"27","doi-asserted-by":"publisher","DOI":"10.1109\/TSMCA.2008.2003535"},{"key":"28","doi-asserted-by":"publisher","DOI":"10.1109\/TSMCA.2009.2013189"},{"first-page":"51","volume-title":"A computationally improved optimal solution for deadlocked problem of flexible manufacturing systems using theory of regions","year":"2012","key":"29"},{"key":"30","doi-asserted-by":"publisher","DOI":"10.1109\/5.21072"},{"issue":"10","key":"32","doi-asserted-by":"crossref","first-page":"704","DOI":"10.1007\/BF01438223","volume":"14","year":"1998","journal-title":"International Journal of Advanced Manufacturing Technology"},{"key":"31","doi-asserted-by":"publisher","DOI":"10.1007\/s00170-012-4460-1"},{"year":"1987\u20131996","key":"33"},{"key":"34","doi-asserted-by":"publisher","DOI":"10.1109\/TSMCA.2010.2058101"},{"key":"35","doi-asserted-by":"publisher","DOI":"10.1109\/TSMCA.2011.2162502"},{"key":"36","doi-asserted-by":"publisher","DOI":"10.1109\/TASE.2011.2156783"}],"container-title":["Journal of Applied Mathematics"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/downloads.hindawi.com\/journals\/jam\/2013\/294835.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/downloads.hindawi.com\/journals\/jam\/2013\/294835.xml","content-type":"application\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/downloads.hindawi.com\/journals\/jam\/2013\/294835.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,21]],"date-time":"2017-06-21T10:55:49Z","timestamp":1498042549000},"score":1,"resource":{"primary":{"URL":"http:\/\/www.hindawi.com\/journals\/jam\/2013\/294835\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013]]},"references-count":34,"alternative-id":["294835","294835"],"URL":"https:\/\/doi.org\/10.1155\/2013\/294835","relation":{},"ISSN":["1110-757X","1687-0042"],"issn-type":[{"type":"print","value":"1110-757X"},{"type":"electronic","value":"1687-0042"}],"subject":[],"published":{"date-parts":[[2013]]}}}