{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2023,2,13]],"date-time":"2023-02-13T22:53:31Z","timestamp":1676328811422},"reference-count":19,"publisher":"Springer Science and Business Media LLC","issue":"6","license":[{"start":{"date-parts":[[2016,1,7]],"date-time":"2016-01-07T00:00:00Z","timestamp":1452124800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["J Intell Manuf"],"published-print":{"date-parts":[[2018,8]]},"DOI":"10.1007\/s10845-015-1185-7","type":"journal-article","created":{"date-parts":[[2016,1,7]],"date-time":"2016-01-07T01:25:52Z","timestamp":1452129952000},"page":"1363-1378","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":4,"title":["Application of Petri nets to deadlock avoidance in iPad-like manufacturing systems"],"prefix":"10.1007","volume":"29","author":[{"given":"Victor R. L.","family":"Shen","sequence":"first","affiliation":[]},{"given":"Cheng-Ying","family":"Yang","sequence":"additional","affiliation":[]},{"given":"Rong-Kuan","family":"Shen","sequence":"additional","affiliation":[]},{"given":"Yu-Chia","family":"Chen","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2016,1,7]]},"reference":[{"issue":"2","key":"1185_CR1","first-page":"1","volume":"24","author":"DY Chao","year":"2013","unstructured":"Chao, D. Y., & Pan, Y.-L. (2013). Uniform formulas for compound siphons, complementary siphons and characteristic vectors in deadlock prevention of flexible manufacturing systems. Journal of Intelligent Manufacturing, 24(2), 1\u201311.","journal-title":"Journal of Intelligent Manufacturing"},{"issue":"2","key":"1185_CR2","doi-asserted-by":"crossref","first-page":"151","DOI":"10.1023\/A:1008271916548","volume":"7","author":"LE Holloway","year":"1997","unstructured":"Holloway, L. E., Krogh, B. H., & Giua, A. (1997). A survey of Petri net methods for controlled discrete event system. Discrete Event Dynamic Systems: Theory and Application, 7(2), 151\u2013190.","journal-title":"Discrete Event Dynamic Systems: Theory and Application"},{"issue":"4","key":"1185_CR3","doi-asserted-by":"crossref","first-page":"933","DOI":"10.1109\/TASE.2010.2046412","volume":"7","author":"HS Hu","year":"2010","unstructured":"Hu, H. S., Zhou, M. C., & Li, Z. W. (2010). Low-cost and high-performance supervision in ratio-enforced automated manufacturing systems using timed Petri nets. IEEE Transactions on Automation Science and Engineering, 7(4), 933\u2013944.","journal-title":"IEEE Transactions on Automation Science and Engineering"},{"key":"1185_CR4","doi-asserted-by":"crossref","unstructured":"Huang, Y. S., Jeng, M. D., Xie, X. L., & Chung, S. L. (2001). Deadlock prevention policy based on Petri nets and siphons. International Journal of Production Research, 39(2), 283\u2013305.","DOI":"10.1080\/00207540010002405"},{"key":"1185_CR5","doi-asserted-by":"crossref","unstructured":"Li, S. Y., An, A. M., Wang, Y., & Wang, G. (2013). Design of liveness-enforcing supervisors with simpler structures for deadlock-free operations in flexible manufacturing systems using necessary siphons. Journal of Intelligent Manufacturing, 24(6), 1157\u20131173.","DOI":"10.1007\/s10845-012-0647-4"},{"key":"1185_CR6","doi-asserted-by":"crossref","unstructured":"Li, L., & Hadjicostis, C. N. (2011). Least-cost transition firing sequence estimation in labeled Petri nets with unobservable transitions. IEEE Transactions on Automation Science and Engineering, 8(2), 394\u2013403.","DOI":"10.1109\/TASE.2010.2070065"},{"issue":"1","key":"1185_CR7","doi-asserted-by":"crossref","first-page":"38","DOI":"10.1109\/TSMCA.2003.820576","volume":"34","author":"ZW Li","year":"2004","unstructured":"Li, Z. W., & Zhou, M. C. (2004). Elementary siphons of Petri nets and their application to deadlock prevention inflexible manufacturing systems. IEEE Transactions on Systems, Man and Cybernetics, Part A: Systems and Humans, 34(1), 38\u201351.","journal-title":"IEEE Transactions on Systems, Man and Cybernetics, Part A: Systems and Humans"},{"issue":"1","key":"1185_CR8","doi-asserted-by":"crossref","first-page":"38","DOI":"10.1109\/TSMCA.2003.820576","volume":"34","author":"Z Li","year":"2004","unstructured":"Li, Z., & Zhou, M. C. (2004). Elementary siphons of Petri nets and their application to deadlock prevention in flexible manufacturing systems. IEEE Transactions on Systems, Man and Cybernetics, Part A: Systems and Humans, 34(1), 38\u201351.","journal-title":"IEEE Transactions on Systems, Man and Cybernetics, Part A: Systems and Humans"},{"issue":"1","key":"1185_CR9","doi-asserted-by":"crossref","first-page":"133","DOI":"10.1109\/TSMCA.2007.909548","volume":"38","author":"Z Li","year":"2008","unstructured":"Li, Z., & Zhou, M. C. (2008). Control of elementary and dependent siphons of Petri nets and their application. IEEE Transactions on Systems, Man and Cybernetics, Part A: Systems and Humans, 38(1), 133\u2013148.","journal-title":"IEEE Transactions on Systems, Man and Cybernetics, Part A: Systems and Humans"},{"issue":"4","key":"1185_CR10","doi-asserted-by":"crossref","first-page":"541","DOI":"10.1109\/5.24143","volume":"77","author":"T Murata","year":"1989","unstructured":"Murata, T. (1989). Petri nets: Properties, analysis, and applications. Proceedings of the IEEE, 77(4), 541\u2013580.","journal-title":"Proceedings of the IEEE"},{"key":"1185_CR11","doi-asserted-by":"crossref","unstructured":"Pla, A., Gay, P., & Melendez, J. (2014). Petri net-based process monitoring: A workflow management system for process modeling and monitoring. Journal of Intelligent Manufacturing, 25(3), 539\u2013554.","DOI":"10.1007\/s10845-012-0704-z"},{"issue":"3","key":"1185_CR12","doi-asserted-by":"crossref","first-page":"745","DOI":"10.1080\/00207540110091712","volume":"40","author":"L Qiu","year":"2002","unstructured":"Qiu, L., Hsu, W.-J., Huang, S.-Y., & Wang, H. (2002). Scheduling and routing algorithms for AGVs: A survey. International Journal of Production Research, 40(3), 745\u2013760.","journal-title":"International Journal of Production Research"},{"issue":"8","key":"1185_CR13","doi-asserted-by":"crossref","first-page":"987","DOI":"10.1243\/0954405041486019","volume":"218","author":"J Rosell","year":"2004","unstructured":"Rosell, J. (2004). Assembly and task planning using Petri nets: A survey. Journal of Engineering Manufacture, 218(8), 987\u2013994.","journal-title":"Journal of Engineering Manufacture"},{"issue":"2","key":"1185_CR14","doi-asserted-by":"crossref","first-page":"334","DOI":"10.1109\/TASE.2008.2009095","volume":"6","author":"Y Ru","year":"2009","unstructured":"Ru, Y., & Hadjicostis, C. N. (2009). Bounds on the number of markings consistent with label observations in Petri nets. IEEE Transactions on Automation Science and Engineering, 6(2), 334\u2013344.","journal-title":"IEEE Transactions on Automation Science and Engineering"},{"issue":"1\u20132","key":"1185_CR15","first-page":"48","volume":"24","author":"M Uzam","year":"2004","unstructured":"Uzam, M. (2004). Synthesis of feedback control elements for discrete event systems using Petri net models and theory of regions. The International Journal of Advanced Manufacturing Technology, 24(1\u20132), 48\u201369.","journal-title":"The International Journal of Advanced Manufacturing Technology"},{"issue":"2","key":"1185_CR16","doi-asserted-by":"crossref","first-page":"321","DOI":"10.1007\/s10845-013-0786-2","volume":"26","author":"SG Wang","year":"2015","unstructured":"Wang, S. G., Wu, W. H., & Yang, J. (2015). Deadlock prevention policy for a class of Petri nets based on complementary places and elementary siphons. Journal of Intelligent Manufacturing, 26(2), 321\u2013330.","journal-title":"Journal of Intelligent Manufacturing"},{"issue":"5","key":"1185_CR17","first-page":"657","volume":"17","author":"NQ Wu","year":"2001","unstructured":"Wu, N. Q., & Zhou, M. C. (2001). Avoiding deadlock and reducing starvation and blocking in automated manufacturing systems. IEEE Transactions on Robotics and Automation, 17(5), 657\u2013668.","journal-title":"IEEE Transactions on Robotics and Automation"},{"key":"1185_CR18","volume-title":"System modeling and control with resource-oriented Petri nets","author":"NQ Wu","year":"2010","unstructured":"Wu, N. Q., & Zhou, M. C. (2010). System modeling and control with resource-oriented Petri nets. New York: CRC Press."},{"key":"1185_CR19","doi-asserted-by":"crossref","unstructured":"Xiong, P. C., Fan, Y. S., & Zhou, M. C. (2010). A Petri net approach to analysis and composition of Web services. IEEE Transactions on System, Man, and Cybernetics\u2014Part A: Systems and Humans 40(2), 1\u201313.","DOI":"10.1109\/TSMCA.2009.2037018"}],"container-title":["Journal of Intelligent Manufacturing"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10845-015-1185-7\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10845-015-1185-7.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10845-015-1185-7","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10845-015-1185-7.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,9,3]],"date-time":"2019-09-03T03:22:51Z","timestamp":1567480971000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10845-015-1185-7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016,1,7]]},"references-count":19,"journal-issue":{"issue":"6","published-print":{"date-parts":[[2018,8]]}},"alternative-id":["1185"],"URL":"https:\/\/doi.org\/10.1007\/s10845-015-1185-7","relation":{},"ISSN":["0956-5515","1572-8145"],"issn-type":[{"value":"0956-5515","type":"print"},{"value":"1572-8145","type":"electronic"}],"subject":[],"published":{"date-parts":[[2016,1,7]]}}}