{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:51:42Z","timestamp":1750308702305,"version":"3.41.0"},"reference-count":53,"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\/501100004731","name":"Natural Science Foundation of Zhejiang Province","doi-asserted-by":"publisher","award":["LY12F03020R13F030009"],"award-info":[{"award-number":["LY12F03020R13F030009"]}],"id":[{"id":"10.13039\/501100004731","id-type":"DOI","asserted-by":"publisher"}]},{"name":"Zhejiang Provincial Education Department Foundation","award":["Y201018216"],"award-info":[{"award-number":["Y201018216"]}]},{"DOI":"10.13039\/501100001809","name":"National Natural Science Foundation of China","doi-asserted-by":"publisher","award":["6.11E+15"],"award-info":[{"award-number":["6.11E+15"]}],"id":[{"id":"10.13039\/501100001809","id-type":"DOI","asserted-by":"publisher"}]},{"name":"Opening Project of Key Laboratory of Measurement and Control of Complex Systems of Engineering, Ministry of Education, Southeast University, Nanjing","award":["MCCSE2012A05"],"award-info":[{"award-number":["MCCSE2012A05"]}]},{"DOI":"10.13039\/501100004835","name":"Zhejiang University","doi-asserted-by":"publisher","award":["ICT1235"],"award-info":[{"award-number":["ICT1235"]}],"id":[{"id":"10.13039\/501100004835","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            In this article, an algorithm is proposed to design liveness-enforcing supervisors for systems of simple sequential processes with resources (S\n            <jats:sup>3<\/jats:sup>\n            PR) based on complementary places. Firstly, a mixed integer programming (MIP) based deadlock detection method is used to find unmarked strict minimal siphons from an infinite-capacity net. Next, the finite-capacity net, in which liveness can be enforced, is obtained by adding capacity function to the infinite-capacity net. Finally, complementary-place transformation is used to transform the finite-capacity net into an infinite-capacity net. This article focuses on adding a complementary place to each operation place that is related to unmarked siphons, deals with the deadlock problem from a new view point, and hence advances the deadlock control theory. Compared with the existing methods, the new policy is easier to implement for real industrial systems. More importantly, design of a complementary-place supervisor is very easy. Finally, in some cases, the new policy can obtain a structurally simpler supervisor with more permissive behavior than the existing methods do. A flexible manufacturing systems (FMS) example is used to compare the proposed policy with some other methods.\n          <\/jats:p>","DOI":"10.1145\/2406336.2406338","type":"journal-article","created":{"date-parts":[[2013,1,29]],"date-time":"2013-01-29T16:20:55Z","timestamp":1359476455000},"page":"1-18","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":11,"title":["Design of Liveness-Enforcing Supervisors for S3PR Based on Complementary Places"],"prefix":"10.1145","volume":"12","author":[{"given":"Shouguang","family":"Wang","sequence":"first","affiliation":[{"name":"University of Zhejiang Gongshang"}]},{"given":"Chengying","family":"Wang","sequence":"additional","affiliation":[{"name":"University of Zhejiang Gongshang"}]},{"given":"Yanping","family":"Yu","sequence":"additional","affiliation":[{"name":"University of Zhejiang Gongshang"}]}],"member":"320","published-online":{"date-parts":[[2013,1]]},"reference":[{"key":"e_1_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1109\/70.650158"},{"key":"e_1_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1109\/70.370500"},{"key":"e_1_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSMCA.2003.820590"},{"key":"e_1_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1109\/TRA.2002.807555"},{"key":"e_1_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1109\/TASE.2008.916925"},{"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.2010.2058101"},{"key":"e_1_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSMCA.2006.878953"},{"volume-title":"Proceedings of the IEEE International Conference on Robotics and Automation. 541--546","author":"Huang Y. S.","key":"e_1_2_1_14_1"},{"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\/3477.558787"},{"key":"e_1_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1109\/70.388774"},{"key":"e_1_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSMCA.2003.820579"},{"key":"e_1_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1109\/TRA.2002.805655"},{"key":"e_1_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSMCA.2007.914741"},{"key":"e_1_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSMCA.2003.820576"},{"key":"e_1_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSMCA.2006.878966"},{"key":"e_1_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1109\/TII.2006.885185"},{"key":"e_1_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSMCA.2007.909548"},{"key":"e_1_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSMCA.2008.918605"},{"key":"e_1_2_1_26_1","unstructured":"Li Z. W. and Zhou M. C. 2009. Deadlock Resolution in Automated Manufacturing Systems: A Novel Petri Net Approach. Springer.   Li Z. W. and Zhou M. C. 2009. Deadlock Resolution in Automated Manufacturing Systems: A Novel Petri Net Approach . Springer."},{"key":"e_1_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSMCC.2009.2037824"},{"key":"e_1_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSMCC.2007.897333"},{"key":"e_1_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1007\/s00170-007-1125-6"},{"key":"e_1_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1049\/iet-cta:20060468"},{"key":"e_1_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSMCC.2007.913920"},{"key":"e_1_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1109\/TASE.2006.884674"},{"key":"e_1_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.automatica.2010.03.011"},{"key":"e_1_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSMCA.2009.2027111"},{"key":"e_1_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0005-1098(96)00103-3"},{"key":"e_1_2_1_36_1","doi-asserted-by":"publisher","DOI":"10.1109\/5.24143"},{"key":"e_1_2_1_37_1","doi-asserted-by":"publisher","DOI":"10.1109\/9.956052"},{"key":"e_1_2_1_38_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSMCA.2008.2003535"},{"key":"e_1_2_1_39_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSMCA.2009.2013189"},{"volume-title":"INA: Integrated Net Analyzer","year":"2003","author":"Starke P H","key":"e_1_2_1_40_1"},{"key":"e_1_2_1_41_1","doi-asserted-by":"publisher","DOI":"10.1007\/s001700200014"},{"key":"e_1_2_1_42_1","doi-asserted-by":"publisher","DOI":"10.1007\/s00170-002-1526-5"},{"key":"e_1_2_1_43_1","doi-asserted-by":"publisher","DOI":"10.1007\/s00170-006-0701-5"},{"key":"e_1_2_1_44_1","doi-asserted-by":"publisher","DOI":"10.1080\/00207540500431321"},{"key":"e_1_2_1_45_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSMCA.2007.893484"},{"key":"e_1_2_1_46_1","doi-asserted-by":"publisher","DOI":"10.1360\/jos160419"},{"key":"e_1_2_1_47_1","first-page":"1037","article-title":"Application of net reduction to feedback controller design of Petri nets","volume":"14","author":"Wang S. G.","year":"2003","journal-title":"J. Softw."},{"key":"e_1_2_1_48_1","unstructured":"Wu W. M. Su H. Y. and Chu J. 2003. Synthesis of Petri nets controller for discrete event systems based on finite capacity places. Control Theory Appl. 228--238.  Wu W. M. Su H. Y. and Chu J. 2003. Synthesis of Petri nets controller for discrete event systems based on finite capacity places. Control Theory Appl. 228--238."},{"key":"e_1_2_1_49_1","doi-asserted-by":"publisher","DOI":"10.1109\/70.105378"},{"key":"e_1_2_1_50_1","doi-asserted-by":"publisher","DOI":"10.1109\/70.86081"},{"key":"e_1_2_1_51_1","doi-asserted-by":"crossref","unstructured":"Zhou M. C. and Dicesare F. 1993. Petri Net Synthesis for Discrete Event Control of Manufacturing Systems. Kluwer Academic Publishers London.  Zhou M. C. and Dicesare F. 1993. Petri Net Synthesis for Discrete Event Control of Manufacturing Systems . Kluwer Academic Publishers London.","DOI":"10.1007\/978-1-4615-3126-5"},{"key":"e_1_2_1_52_1","doi-asserted-by":"publisher","DOI":"10.1109\/70.143353"},{"key":"e_1_2_1_53_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.2406338","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2406336.2406338","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T20:13:54Z","timestamp":1750277634000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2406336.2406338"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013,1]]},"references-count":53,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2013,1]]}},"alternative-id":["10.1145\/2406336.2406338"],"URL":"https:\/\/doi.org\/10.1145\/2406336.2406338","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-02-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"}}]}}