{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,3]],"date-time":"2026-03-03T16:14:29Z","timestamp":1772554469531,"version":"3.50.1"},"reference-count":37,"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\/501100001868","name":"National Science Council Taiwan","doi-asserted-by":"publisher","award":["NSC 98-2918-I-606-002"],"award-info":[{"award-number":["NSC 98-2918-I-606-002"]}],"id":[{"id":"10.13039\/501100001868","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>\n            A transition-controlled deadlock detection and recovery prevention policy is presented for a subclass of Petri nets used to model flexible manufacturing systems. The subclass is called systems of simple sequential processes with resources (S\n            <jats:sup>3<\/jats:sup>\n            PR). The proposed policy is different from the standard deadlock prevention policies. Instead of adding control places, this policy adds a controlled transition to solve a group of deadlocked markings that have the same graph-based property. Finally, the results of our study indicate that the proposed policy appears to be more permissive than those existing ones that add control places.\n          <\/jats:p>","DOI":"10.1145\/2406336.2406347","type":"journal-article","created":{"date-parts":[[2013,1,29]],"date-time":"2013-01-29T16:20:55Z","timestamp":1359476455000},"page":"1-13","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":48,"title":["Transition-Based Deadlock Detection and Recovery Policy for FMSs Using Graph Technique"],"prefix":"10.1145","volume":"12","author":[{"given":"Yi-Sheng","family":"Huang","sequence":"first","affiliation":[{"name":"National Defense University, Taiwan and National Ilan University, Taiwan"}]},{"given":"Yen-Liang","family":"Pan","sequence":"additional","affiliation":[{"name":"National Defense University, Taiwan and Air Force Academy, Taiwan"}]},{"given":"Pin-June","family":"Su","sequence":"additional","affiliation":[{"name":"Chung Shan Institute of Science and Technology, Taiwan"}]}],"member":"320","published-online":{"date-parts":[[2013,1]]},"reference":[{"key":"e_1_2_1_1_1","volume-title":"Proceedings of the INRIA\/IEEE Symp. Emerging Technologies for Factory Automation. 499--510","author":"Barkaoui K."},{"key":"e_1_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1109\/QEST.2006.56"},{"key":"e_1_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1093\/comjnl\/bxl019"},{"key":"e_1_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1049\/iet-cta:20070130"},{"key":"e_1_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1109\/70.370500"},{"key":"e_1_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1007\/s00170-007-1110-0"},{"key":"e_1_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1007\/s00170-007-1366-4"},{"key":"e_1_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1007\/s00170-008-1608-0"},{"key":"e_1_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1109\/TMM.2009.2032678"},{"key":"e_1_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1109\/TASE.2010.2046412"},{"key":"e_1_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1109\/TASE.2010.2046412"},{"key":"e_1_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSMCA.2011.2162502"},{"key":"e_1_2_1_13_1","first-page":"215","article-title":"Deadlock prevention for flexible manufacturing systems in sequence resource allocation systems","volume":"23","author":"Huang Y. S.","year":"2007","journal-title":"J. Inf. Sci. Eng."},{"key":"e_1_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1007\/s00170-006-0708-y"},{"key":"e_1_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1080\/00207540010002405"},{"key":"e_1_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSMCA.2006.878953"},{"key":"e_1_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2003.819078"},{"key":"e_1_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSMCA.2007.914741"},{"key":"e_1_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSMCA.2003.820576"},{"key":"e_1_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1109\/TII.2006.885185"},{"key":"e_1_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSMCC.2007.913920"},{"key":"e_1_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSMCA.2008.918605"},{"key":"e_1_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSMCA.2007.909548"},{"key":"e_1_2_1_24_1","unstructured":"Li Z. W. and Zhou M. C. 2009. Deadlock Resolution in Automated Manufacturing Systems: A Novel Petri Net Approach. Springer-Verlag Berlin.   Li Z. W. and Zhou M. C. 2009. Deadlock Resolution in Automated Manufacturing Systems: A Novel Petri Net Approach. Springer-Verlag Berlin."},{"key":"e_1_2_1_25_1","doi-asserted-by":"crossref","unstructured":"Li Z. W. Zhou M. C. and Uzam M. 2007. Deadlock control policy for a class of Petri nets without complete siphon enumeration. IET Control Theory Appl. 1594--1605.  Li Z. W. Zhou M. C. and Uzam M. 2007. Deadlock control policy for a class of Petri nets without complete siphon enumeration. IET Control Theory Appl. 1594--1605.","DOI":"10.1049\/iet-cta:20060468"},{"key":"e_1_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1109\/TASE.2006.884674"},{"key":"e_1_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1007\/s00170-007-1125-6"},{"key":"e_1_2_1_28_1","unstructured":"Marsan M. A. Balbo G. Conte G. Donatelli S. and Franceschinis G. 1995. Modeling with Generalized Stochastic Petri Nets. Wiley Series in Parallel Computing. John Wiley and Sons.  Marsan M. A. Balbo G. Conte G. Donatelli S. and Franceschinis G. 1995. Modeling with Generalized Stochastic Petri Nets. Wiley Series in Parallel Computing. John Wiley and Sons."},{"key":"e_1_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1109\/5.24143"},{"key":"e_1_2_1_30_1","unstructured":"Peterson J. L. 1981. Petri Net Theory and the Modeling of Systems. Prentice Hall Englewood Cliffs NJ.   Peterson J. L. 1981. Petri Net Theory and the Modeling of Systems. Prentice Hall Englewood Cliffs NJ."},{"key":"e_1_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSMCA.2008.2003535"},{"key":"e_1_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1007\/s00170-007-1319-y"},{"key":"e_1_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSMCA.2009.2013189"},{"key":"e_1_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.1007\/s001700200014"},{"key":"e_1_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.1007\/s00170-002-1526-5"},{"key":"e_1_2_1_36_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSMCA.2007.893484"},{"key":"e_1_2_1_37_1","doi-asserted-by":"publisher","DOI":"10.1007\/s00170-006-0701-5"}],"container-title":["ACM Transactions on Embedded Computing Systems"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2406336.2406347","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2406336.2406347","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.2406347"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013,1]]},"references-count":37,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2013,1]]}},"alternative-id":["10.1145\/2406336.2406347"],"URL":"https:\/\/doi.org\/10.1145\/2406336.2406347","relation":{},"ISSN":["1539-9087","1558-3465"],"issn-type":[{"value":"1539-9087","type":"print"},{"value":"1558-3465","type":"electronic"}],"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"}}]}}