{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,27]],"date-time":"2025-10-27T16:04:18Z","timestamp":1761581058425,"version":"3.41.0"},"reference-count":52,"publisher":"Association for Computing Machinery (ACM)","issue":"1","license":[{"start":{"date-parts":[[2013,1,1]],"date-time":"2013-01-01T00:00:00Z","timestamp":1356998400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"DOI":"10.13039\/501100002855","name":"Ministry of Science and Technology of the People's Republic of China","doi-asserted-by":"publisher","award":["2011CB302804"],"award-info":[{"award-number":["2011CB302804"]}],"id":[{"id":"10.13039\/501100002855","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100001809","name":"National Natural Science Foundation of China","doi-asserted-by":"publisher","award":["6.10E+15"],"award-info":[{"award-number":["6.10E+15"]}],"id":[{"id":"10.13039\/501100001809","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":["ACM Trans. Embed. Comput. Syst."],"published-print":{"date-parts":[[2013,1]]},"abstract":"<jats:p>It is desired that a deadlock control policy for automated manufacturing systems (AMS) is maximally permissive. However, its tractability issue remains open, and this work addresses this important issue. It models AMS with a resource-oriented Petri net (ROPN) and presents a necessary and sufficient condition under which there exists a one-step look-ahead maximally permissive control policy for deadlock avoidance in AMS. It further identifies some conditions under which a one-step look-ahead maximally permissive deadlock control policy exists for a single-capacity system. The conditions can be conveniently examined by using the developed ROPN model.<\/jats:p>","DOI":"10.1145\/2406336.2406346","type":"journal-article","created":{"date-parts":[[2013,1,29]],"date-time":"2013-01-29T16:20:55Z","timestamp":1359476455000},"page":"1-23","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":45,"title":["One-Step Look-Ahead Maximally Permissive Deadlock Control of AMS by Using Petri Nets"],"prefix":"10.1145","volume":"12","author":[{"given":"Naiqi","family":"Wu","sequence":"first","affiliation":[{"name":"Guangdong University of Technology, China"}]},{"given":"Mengchu","family":"Zhou","sequence":"additional","affiliation":[{"name":"Tongji University, China and New Jersey Institute of Technology"}]},{"given":"Gang","family":"Hu","sequence":"additional","affiliation":[{"name":"Guangdong University of Technology, China"}]}],"member":"320","published-online":{"date-parts":[[2013,1]]},"reference":[{"key":"e_1_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1007\/BF01438223"},{"key":"e_1_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1109\/70.63273"},{"key":"e_1_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1049\/iet-cta.2007.0470"},{"key":"e_1_2_1_4_1","unstructured":"Cormen T. H. Leiserson C. E. and Rives R. E. 1990. Introduction to Algorithms. MIT Press\/McGraw-Hill New York.   Cormen T. H. Leiserson C. E. and Rives R. E. 1990. Introduction to Algorithms . MIT Press\/McGraw-Hill New York."},{"key":"e_1_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSMCA.2003.820575"},{"key":"e_1_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1109\/70.370500"},{"key":"e_1_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1080\/00207540110118073"},{"key":"e_1_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1109\/70.585898"},{"key":"e_1_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.conengprac.2006.02.007"},{"key":"e_1_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/356603.356607"},{"key":"e_1_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSMCA.2003.820574"},{"key":"e_1_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1109\/TMM.2009.2032678"},{"key":"e_1_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSMCA.2006.878953"},{"key":"e_1_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1109\/70.388774"},{"key":"e_1_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(81)90049-9"},{"key":"e_1_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1109\/70.768182"},{"key":"e_1_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1023\/A:1012203214611"},{"key":"e_1_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1080\/00207549508904872"},{"key":"e_1_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1016\/0278-6125(93)90320-S"},{"key":"e_1_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0005-1098(98)00048-X"},{"key":"e_1_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1049\/iet-cta:20070399"},{"key":"e_1_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSMCA.2007.914741"},{"key":"e_1_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSMCA.2003.820576"},{"key":"e_1_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1109\/TII.2006.885185"},{"key":"e_1_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSMCA.2008.918605"},{"key":"e_1_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSMCA.2007.909548"},{"key":"e_1_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1109\/TASE.2006.884674"},{"key":"e_1_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSMCC.2007.913920"},{"key":"e_1_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSMCC.2008.2007246"},{"key":"e_1_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1109\/5.24143"},{"key":"e_1_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1109\/9.956052"},{"key":"e_1_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1080\/07408170008967423"},{"key":"e_1_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1109\/9.633824"},{"key":"e_1_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSMCA.2003.820572"},{"key":"e_1_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSMCA.2007.893484"},{"key":"e_1_2_1_36_1","doi-asserted-by":"publisher","DOI":"10.1109\/70.63257"},{"key":"e_1_2_1_37_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSMCA.2009.2019880"},{"key":"e_1_2_1_38_1","doi-asserted-by":"publisher","DOI":"10.1109\/5326.760564"},{"key":"e_1_2_1_39_1","doi-asserted-by":"publisher","DOI":"10.1109\/70.964666"},{"key":"e_1_2_1_40_1","doi-asserted-by":"publisher","DOI":"10.1109\/TMECH.2004.823875"},{"key":"e_1_2_1_41_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSMCB.2005.850141"},{"key":"e_1_2_1_42_1","doi-asserted-by":"publisher","DOI":"10.1080\/00207540600863738"},{"key":"e_1_2_1_43_1","doi-asserted-by":"publisher","DOI":"10.1109\/TMECH.2006.886255"},{"key":"e_1_2_1_44_1","doi-asserted-by":"publisher","DOI":"10.1109\/TASE.2006.888049"},{"key":"e_1_2_1_45_1","doi-asserted-by":"publisher","DOI":"10.1002\/asjc.184"},{"key":"e_1_2_1_46_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSMCA.2007.909542"},{"key":"e_1_2_1_47_1","doi-asserted-by":"publisher","DOI":"10.1109\/70.105378"},{"key":"e_1_2_1_48_1","first-page":"167","article-title":"A deadlock prevention policy for a class of Petri nets S3PMR","volume":"25","author":"Yan M. M.","year":"2009","journal-title":"J. Inf. Sci. Eng."},{"key":"e_1_2_1_49_1","doi-asserted-by":"publisher","DOI":"10.1109\/70.86081"},{"key":"e_1_2_1_50_1","doi-asserted-by":"crossref","unstructured":"Zhou M. C. and Venkatesh K. 1998. Modeling Simulation and Control of Flexible Manufacturing Systems: A Petri Net Approach. World Scientific Singapore.  Zhou M. C. and Venkatesh K. 1998. Modeling Simulation and Control of Flexible Manufacturing Systems: A Petri Net Approach . World Scientific Singapore.","DOI":"10.1142\/3376"},{"key":"e_1_2_1_51_1","doi-asserted-by":"publisher","DOI":"10.1109\/70.143353"},{"key":"e_1_2_1_52_1","doi-asserted-by":"publisher","DOI":"10.1016\/0005-1098(92)90061-J"}],"container-title":["ACM Transactions on Embedded Computing Systems"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2406336.2406346","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2406336.2406346","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T20:13:55Z","timestamp":1750277635000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2406336.2406346"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013,1]]},"references-count":52,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2013,1]]}},"alternative-id":["10.1145\/2406336.2406346"],"URL":"https:\/\/doi.org\/10.1145\/2406336.2406346","relation":{},"ISSN":["1539-9087","1558-3465"],"issn-type":[{"type":"print","value":"1539-9087"},{"type":"electronic","value":"1558-3465"}],"subject":[],"published":{"date-parts":[[2013,1]]},"assertion":[{"value":"2010-03-01","order":0,"name":"received","label":"Received","group":{"name":"publication_history","label":"Publication History"}},{"value":"2010-06-01","order":1,"name":"accepted","label":"Accepted","group":{"name":"publication_history","label":"Publication History"}},{"value":"2013-01-01","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}