{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,6]],"date-time":"2026-01-06T12:44:27Z","timestamp":1767703467845,"version":"3.37.3"},"reference-count":33,"publisher":"Informa UK Limited","issue":"9","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["International Journal of Systems Science"],"published-print":{"date-parts":[[2010,9]]},"DOI":"10.1080\/00207720903171779","type":"journal-article","created":{"date-parts":[[2010,3,23]],"date-time":"2010-03-23T06:14:08Z","timestamp":1269324848000},"page":"1013-1026","source":"Crossref","is-referenced-by-count":25,"title":["Suboptimal liveness-enforcing supervisor design for a class of generalised Petri nets using partial siphon enumeration and mathematical programming"],"prefix":"10.1080","volume":"41","author":[{"given":"Mi","family":"Zhao","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"ZhiWu","family":"Li","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"HeSuan","family":"Hu","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"301","reference":[{"key":"CIT0001","doi-asserted-by":"publisher","DOI":"10.1007\/BF01438223"},{"key":"CIT0002","doi-asserted-by":"publisher","DOI":"10.1109\/70.63273"},{"key":"CIT0003","doi-asserted-by":"crossref","unstructured":"Barkaoui, K, Chaoui, A and Zouari, B. Supervisory Control of Discrete Event Systems Based on Structure Theory of Petri Nets. Proceedings of the IEEE International Conference on Systems, Man, and Cybernetics. 1997. pp.3750\u20133755. Orlando, Florida, USA","DOI":"10.1109\/ICSMC.1997.633253"},{"key":"CIT0004","doi-asserted-by":"crossref","unstructured":"Barkaoui, K and Pradat-Peyre, JF. On Liveness Controlled Siphons in Petri Nets. Proceedings of the 17th International Conference on Application and Theory of Petri Nets, LNCS,Vol. 1091. 1996. pp.57\u201372. Osaka, New York, Japan: Springer.","DOI":"10.1007\/3-540-61363-3_4"},{"key":"CIT0005","doi-asserted-by":"publisher","DOI":"10.1109\/70.650158"},{"key":"CIT0006","doi-asserted-by":"publisher","DOI":"10.1109\/70.370500"},{"key":"CIT0007","doi-asserted-by":"publisher","DOI":"10.1109\/TSMCA.2003.820575"},{"key":"CIT0008","doi-asserted-by":"publisher","DOI":"10.1109\/TRA.2002.807555"},{"key":"CIT0009","doi-asserted-by":"publisher","DOI":"10.1109\/70.282544"},{"key":"CIT0010","unstructured":"Huang, YS, Jeng, MD, Xie, XL and Chung, SL. A Deadlock Prevention Policy for Flexible Manufacturing Systems using Siphons. Proceedings of the IEEE International Conference on Robotics and Automation. 2001. May 21\u201326. pp.541\u2013546. Seoul, Korea"},{"key":"CIT0011","doi-asserted-by":"publisher","DOI":"10.1109\/3468.769759"},{"key":"CIT0012","doi-asserted-by":"publisher","DOI":"10.1109\/TRA.2002.805655"},{"key":"CIT0013","doi-asserted-by":"publisher","DOI":"10.1080\/00207549408957073"},{"key":"CIT0014","doi-asserted-by":"publisher","DOI":"10.1080\/00207720110051987"},{"key":"CIT0015","doi-asserted-by":"publisher","DOI":"10.1109\/TSMCA.2003.820576"},{"key":"CIT0016","doi-asserted-by":"publisher","DOI":"10.1049\/iet-cta:20060218"},{"key":"CIT0017","first-page":"1127","volume":"36","author":"Li ZW","year":"2006","journal-title":"IEEE Transactions on Systems, Man and Cybernetics, Part A"},{"key":"CIT0018","doi-asserted-by":"publisher","DOI":"10.1109\/TII.2006.885185"},{"key":"CIT0020","doi-asserted-by":"publisher","DOI":"10.1109\/5.24143"},{"key":"CIT0021","doi-asserted-by":"publisher","DOI":"10.1109\/9.956052"},{"key":"CIT0022","unstructured":"Reveliotis, SA. On the Siphon-based Characterization of Liveness in Sequential Resource Allocation Systems. Proceedings of the International Conference on Application and Theory of Petri Nets 2003, LNCS(Vol. 2679), eds. W.M.P. van der Aalst and E. Best. 2003. pp.241\u2013255."},{"volume-title":"INA: Integrated Net Analyzer","year":"1992","author":"Starke PH","key":"CIT0023"},{"volume-title":"Ph.D. thesis, Departamento de Informatica e Ingenieria de Sistemas","year":"2003","author":"Tricas F","key":"CIT0024"},{"key":"CIT0025","doi-asserted-by":"crossref","unstructured":"Tricas, F and Martinez, J. An Extension of the Liveness Theory for Concurrent Sequential Processes Competing for Shared Resources. Proceedings of the IEEE International Conference Systems, Man and Cybernetics. 1995. October 22\u201325. pp.3035\u20133040. BC, Canada: Vancouver.","DOI":"10.1109\/ICSMC.1995.538247"},{"key":"CIT0026","doi-asserted-by":"crossref","first-page":"139","DOI":"10.1007\/978-1-4615-4493-7_14","volume-title":"Proceedings of the 5th Workshop on Discrete Event Systems","author":"Tricas F","year":"2000"},{"key":"CIT0027","doi-asserted-by":"crossref","first-page":"192","DOI":"10.1007\/s001700200014","volume":"19","author":"Uzam M","year":"2002","journal-title":"The International Journal of Advanced Manufacturing Technology"},{"key":"CIT0028","doi-asserted-by":"crossref","unstructured":"Uzam, M and Zhou, MC. Iterative Synthesis of Petri Net Based Deadlock Prevention Policy for Flexible Manufacturing Systems. Proceeings of the IEEE International Conference Systems, Man and Cybernetics. 2004. October 10\u201313. pp.4260\u20134265. The Netherlands: The Hague.","DOI":"10.1109\/ICSMC.2004.1401200"},{"key":"CIT0029","doi-asserted-by":"publisher","DOI":"10.1109\/70.63257"},{"key":"CIT0030","doi-asserted-by":"publisher","DOI":"10.1109\/70.105378"},{"key":"CIT0031","doi-asserted-by":"publisher","DOI":"10.1109\/9.481550"},{"key":"CIT0032","doi-asserted-by":"publisher","DOI":"10.1109\/70.143353"},{"key":"CIT0033","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4615-3126-5"},{"volume-title":"Modelling, Simulation and Control of Flexible Manufacturing Systems: A Petri Net Approach","year":"1998","author":"Zhou MC","key":"CIT0034"}],"container-title":["International Journal of Systems Science"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/www.tandfonline.com\/doi\/pdf\/10.1080\/00207720903171779","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,2,19]],"date-time":"2025-02-19T17:08:26Z","timestamp":1739984906000},"score":1,"resource":{"primary":{"URL":"http:\/\/www.tandfonline.com\/doi\/abs\/10.1080\/00207720903171779"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010,9]]},"references-count":33,"journal-issue":{"issue":"9","published-print":{"date-parts":[[2010,9]]}},"alternative-id":["10.1080\/00207720903171779"],"URL":"https:\/\/doi.org\/10.1080\/00207720903171779","relation":{},"ISSN":["0020-7721","1464-5319"],"issn-type":[{"type":"print","value":"0020-7721"},{"type":"electronic","value":"1464-5319"}],"subject":[],"published":{"date-parts":[[2010,9]]}}}