{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,3]],"date-time":"2026-03-03T16:12:20Z","timestamp":1772554340273,"version":"3.50.1"},"reference-count":53,"publisher":"Springer Science and Business Media LLC","issue":"6","license":[{"start":{"date-parts":[[2012,5,6]],"date-time":"2012-05-06T00:00:00Z","timestamp":1336262400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["J Intell Manuf"],"published-print":{"date-parts":[[2013,12]]},"DOI":"10.1007\/s10845-012-0647-4","type":"journal-article","created":{"date-parts":[[2012,5,5]],"date-time":"2012-05-05T13:26:27Z","timestamp":1336224387000},"page":"1157-1173","source":"Crossref","is-referenced-by-count":20,"title":["Design of liveness-enforcing supervisors with simpler structures for deadlock-free operations in flexible manufacturing systems using necessary siphons"],"prefix":"10.1007","volume":"24","author":[{"given":"Shao Yong","family":"Li","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ai Min","family":"An","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ying","family":"Wang","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Gang","family":"Wang","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Cai Qin","family":"Hou","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ying","family":"Cai","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2012,5,6]]},"reference":[{"issue":"10","key":"647_CR1","doi-asserted-by":"crossref","first-page":"704","DOI":"10.1007\/BF01438223","volume":"14","author":"I. B. Abdallah","year":"1998","unstructured":"Abdallah I. B., Elmaraghy H. A. (1998) Deadlock prevention and avoidance in FMS: A Petri net based approach. International Journal of Advanced Manufacturing Technology 14(10): 704\u2013715","journal-title":"International Journal of Advanced Manufacturing Technology"},{"issue":"3","key":"647_CR2","doi-asserted-by":"crossref","first-page":"413","DOI":"10.1007\/s10845-009-0299-1","volume":"22","author":"H. Y. Bae","year":"2011","unstructured":"Bae H. Y., Choi L., Park T. J., Ryu K. R. (2011) Comparison of operations of AGVs and ALVs in an automated container terminal. Journal of Intelligent Manufacturing 22(3): 413\u2013426","journal-title":"Journal of Intelligent Manufacturing"},{"key":"647_CR3","doi-asserted-by":"crossref","unstructured":"Barkaoui, K., & Peyre, J. F. (1996). On liveness and controlled siphons in Petri nets. Proceedings of the 17th International Conference on Application and Theory of Petri Nets (pp. 57\u201372). Osaka, Japan.","DOI":"10.1007\/3-540-61363-3_4"},{"issue":"2","key":"647_CR4","doi-asserted-by":"crossref","first-page":"175","DOI":"10.1007\/s10845-008-0072-x","volume":"19","author":"R. L. Burdett","year":"2008","unstructured":"Burdett R. L., Kozan E. (2008) Analysing the performance of an automated pathology specimen handling system. Journal of Intelligent Manufacturing 19(2): 175\u2013189","journal-title":"Journal of Intelligent Manufacturing"},{"issue":"4","key":"647_CR5","doi-asserted-by":"crossref","first-page":"470","DOI":"10.1093\/comjnl\/bxl019","volume":"49","author":"D. Y. Chao","year":"2006","unstructured":"Chao D. Y. (2006) Computation of elementary siphons for deadlock control. The Computer Journal 49(4): 470\u2013479","journal-title":"The Computer Journal"},{"issue":"3","key":"647_CR6","first-page":"853","volume":"23","author":"D. Y. Chao","year":"2007","unstructured":"Chao D. Y. (2007a) Searching strict minimal siphons for SNC-based resource S3PGR2. Journal of Information Science and Engineering 23(3): 853\u2013867","journal-title":"Journal of Information Science and Engineering"},{"issue":"6","key":"647_CR7","first-page":"1817","volume":"23","author":"D. Y. Chao","year":"2007","unstructured":"Chao D. Y. (2007b) A graphic-algebraic computation of elementary siphons of BS3PR. Journal of Information Science and Engineering 23(6): 1817\u20131831","journal-title":"Journal of Information Science and Engineering"},{"issue":"4","key":"647_CR8","doi-asserted-by":"crossref","first-page":"933","DOI":"10.1049\/iet-cta:20060275","volume":"1","author":"D. Y. Chao","year":"2007","unstructured":"Chao D. Y. (2007c) Max\u2032-controlled siphons for liveness of S3PGR2. IET Control Theory & Applications 1(4): 933\u2013936","journal-title":"IET Control Theory & Applications"},{"key":"647_CR9","doi-asserted-by":"crossref","first-page":"397","DOI":"10.1007\/s00170-009-1967-1","volume":"45","author":"D. Y. Chao","year":"2009","unstructured":"Chao D. Y. (2009a) Direct minimal empty siphon computation using MIP. International Journal of Advanced Manufacturing Technology 45: 397\u2013405","journal-title":"International Journal of Advanced Manufacturing Technology"},{"issue":"6","key":"647_CR10","first-page":"1963","volume":"25","author":"D. Y. Chao","year":"2009","unstructured":"Chao D. Y. (2009b) Deadlock control for weighted systems of simple sequential processes with resources requirement (WS3PR). Journal of Information Science and Engineering 25(6): 1963\u20131978","journal-title":"Journal of Information Science and Engineering"},{"issue":"3","key":"647_CR11","first-page":"1121","volume":"26","author":"D. Y. Chao","year":"2009","unstructured":"Chao D. Y. (2009c) Weighted characteristic P-vector and deadlock control of WS3PR. Journal of Information Science and Engineering 26(3): 1121\u20131136","journal-title":"Journal of Information Science and Engineering"},{"issue":"6","key":"647_CR12","doi-asserted-by":"crossref","first-page":"793","DOI":"10.1109\/70.650158","volume":"13","author":"F. Chu","year":"1997","unstructured":"Chu F., Xie X. L. (1997) Deadlock analysis of Petri nets using siphons and mathematical programming. IEEE Transactions on Robotics and Automation: Part A 13(6): 793\u2013804","journal-title":"IEEE Transactions on Robotics and Automation: Part A"},{"issue":"2","key":"647_CR13","doi-asserted-by":"crossref","first-page":"173","DOI":"10.1109\/70.370500","volume":"11","author":"J. Ezpeleta","year":"1995","unstructured":"Ezpeleta J., Colom J. M., Martinez J. (1995) A Petri net based deadlock prevention policy for flexible manufacturing systems. IEEE Transactions on Robotics and Automation 11(2): 173\u2013184","journal-title":"IEEE Transactions on Robotics and Automation"},{"key":"647_CR14","doi-asserted-by":"crossref","unstructured":"Ezpeleta, J., Garc\u00eda-Vall\u00e9s, F., & Colom, J. M. (1998). A class of well structured Petri nets for flexible manufacturing systems. Proceedings of the 19th International Conference on Application and Theory of Petri Nets (pp. 64\u201383). Lisbon, Portugal.","DOI":"10.1007\/3-540-69108-1_5"},{"issue":"1","key":"647_CR15","doi-asserted-by":"crossref","first-page":"5","DOI":"10.1109\/TSMCA.2003.820590","volume":"34","author":"M. P. Fanti","year":"2004","unstructured":"Fanti M. P., Zhou M. C. (2004) Deadlock control methods in automated manufacturing systems. IEEE Transactions on Systems, Man, and Cybernetics: Part A 34(1): 5\u201322","journal-title":"IEEE Transactions on Systems, Man, and Cybernetics: Part A"},{"key":"647_CR16","doi-asserted-by":"crossref","unstructured":"Garc\u00eda-Vall\u00e9s, F., & Colom, J. M. (1999). Implicit places in net systems. Proceedings of the 8th International Workshop on Petri Nets and Performance Models (pp. 104\u2013113). Zaragoza, Spain.","DOI":"10.1109\/PNPM.1999.796557"},{"issue":"3","key":"647_CR17","doi-asserted-by":"crossref","first-page":"320","DOI":"10.1109\/TSE.1984.5010241","volume":"7","author":"V. Gligor","year":"1980","unstructured":"Gligor V., Shattuck S. (1980) On deadlock detection in distributed systems. IEEE Transactions on Software Engineering 7(3): 320\u2013336","journal-title":"IEEE Transactions on Software Engineering"},{"issue":"2","key":"647_CR18","doi-asserted-by":"crossref","first-page":"196","DOI":"10.1109\/70.282544","volume":"10","author":"F. S. Hsieh","year":"1994","unstructured":"Hsieh F. S., Chang S. C. (1994) Dispatching-driven deadlock avoidance controller synthesis for flexible manufacturing systems. IEEE Trans Transactions on Robotics and Automation 10(2): 196\u2013209","journal-title":"IEEE Trans Transactions on Robotics and Automation"},{"issue":"4","key":"647_CR19","doi-asserted-by":"crossref","first-page":"555","DOI":"10.1007\/s10845-009-0238-1","volume":"21","author":"H. S. Hu","year":"2010","unstructured":"Hu H. S., Li Z. W. (2010) Synthesis of liveness enforcing supervisor for automated manufacturing systems using insufficiently marked siphons. Journal of Intelligent Manufacturing 21(4): 555\u2013567","journal-title":"Journal of Intelligent Manufacturing"},{"issue":"2","key":"647_CR20","doi-asserted-by":"crossref","first-page":"283","DOI":"10.1080\/00207540010002405","volume":"39","author":"Y. S. Huang","year":"2001","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","journal-title":"International Journal of Production Research"},{"key":"647_CR21","doi-asserted-by":"crossref","unstructured":"Huang, Y. S., Lin, J. H., & Hsu, C. N. (2004). Comparison of deadlock prevention policies in FMS based on Petri nets siphons. 2004 IEEE International Conference on Systems, Man, and Cybernetics (pp. 4867\u20134872). Hague, Netherlands.","DOI":"10.1109\/ICSMC.2004.1401302"},{"issue":"6","key":"647_CR22","doi-asserted-by":"crossref","first-page":"1248","DOI":"10.1109\/TSMCA.2006.878953","volume":"36","author":"Y. S. Huang","year":"2006","unstructured":"Huang Y. S., Jeng M. D., Xie X. L., Chung D. H. (2006) Siphon-based deadlock prevention policy for flexible manufacturing systems. IEEE Transactions on Systems, Man, and Cybernetics: Part A 36(6): 1248\u20131256","journal-title":"IEEE Transactions on Systems, Man, and Cybernetics: Part A"},{"issue":"1","key":"647_CR23","doi-asserted-by":"crossref","first-page":"59","DOI":"10.1109\/70.988975","volume":"18","author":"M. V. Iordache","year":"2002","unstructured":"Iordache M. V., Moody J. O., Antsaklis P. J. (2002) Synthesis of deadlock prevention supervisors using Petri nets. IEEE Transactions on Robotics and Automation 18(1): 59\u201368","journal-title":"IEEE Transactions on Robotics and Automation"},{"key":"647_CR24","doi-asserted-by":"crossref","first-page":"315","DOI":"10.1007\/978-3-642-72822-8_21","volume-title":"Linear algebraic calculation of deadlocks and traps: Concurrency and nets","author":"K. Lautenbach","year":"1987","unstructured":"Lautenbach K. (1987) Linear algebraic calculation of deadlocks and traps: Concurrency and nets. Springer, New York, NY, pp 315\u2013336"},{"issue":"1","key":"647_CR25","doi-asserted-by":"crossref","first-page":"38","DOI":"10.1109\/TSMCA.2003.820576","volume":"34","author":"Z. W. Li","year":"2004","unstructured":"Li Z. W., 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 34(1): 38\u201351","journal-title":"IEEE Transactions on Systems, Man, and Cybernetics: Part A"},{"issue":"9","key":"647_CR26","doi-asserted-by":"crossref","first-page":"2161","DOI":"10.1080\/00207540500464942","volume":"45","author":"Z. W. Li","year":"2007","unstructured":"Li Z. W., Liu D. (2007) A correct minimal siphons extraction algorithm from a maximal unmarked siphon of a Petri net. International Journal of Production Research 45(9): 2161\u20132165","journal-title":"International Journal of Production Research"},{"issue":"3","key":"647_CR27","first-page":"667","volume":"38","author":"Z. W. Li","year":"2008","unstructured":"Li Z. W., Zhou M. C. (2008) On siphon computation for deadlock control in a class of Petri nets. IEEE Transactions on Systems, Man, and Cybernetics: Part A 38(3): 667\u2013679","journal-title":"IEEE Transactions on Systems, Man, and Cybernetics: Part A"},{"issue":"1","key":"647_CR28","doi-asserted-by":"crossref","first-page":"53","DOI":"10.1016\/j.cie.2008.03.013","volume":"56","author":"Z. W. Li","year":"2009","unstructured":"Li Z. W., Hu H. S. (2009) On systematic methods to remove redundant monitors from liveness-enforcing net supervisors. Computers & Industrial Engineering 56(1): 53\u201362","journal-title":"Computers & Industrial Engineering"},{"key":"647_CR29","volume-title":"Deadlock resolution in automated manufacturing systems","author":"Z. W. Li","year":"2009","unstructured":"Li Z. W., Zhou M. C. (2009) Deadlock resolution in automated manufacturing systems (1st ed.). Springer, London","edition":"1"},{"key":"647_CR30","doi-asserted-by":"crossref","first-page":"251","DOI":"10.1007\/s10845-008-0178-1","volume":"21","author":"S. S. Msanjila","year":"2010","unstructured":"Msanjila S. S., Afsarmanesh H. (2010) FETR: A framework to establish trust relationships among organizations in VBEs. Journal of Intelligent Manufacturing 21: 251\u2013265","journal-title":"Journal of Intelligent Manufacturing"},{"issue":"2","key":"647_CR31","doi-asserted-by":"crossref","first-page":"190","DOI":"10.1109\/70.843175","volume":"16","author":"J. Park","year":"2000","unstructured":"Park J., Reveliotis S. A. (2000) Algebraic synthesis of effcient deadlock avoidance policies for sequential resource allocation systems. IEEE Transactions on Robotics and Automation 16(2): 190\u2013195","journal-title":"IEEE Transactions on Robotics and Automation"},{"issue":"10","key":"647_CR32","doi-asserted-by":"crossref","first-page":"1572","DOI":"10.1109\/9.956052","volume":"46","author":"J. Park","year":"2001","unstructured":"Park J., Reveliotis S. A. (2001) Deadlock avoidance in sequential resource allocation systems with multiple resource acquisitions and flexible routings. IEEE Transactions on Automation Control 46(10): 1572\u20131583","journal-title":"IEEE Transactions on Automation Control"},{"issue":"3","key":"647_CR33","doi-asserted-by":"crossref","first-page":"321","DOI":"10.1007\/s10845-008-0212-3","volume":"20","author":"J. H. Park","year":"2009","unstructured":"Park J. H., Kim H. J., Li C. L. (2009) Ubiquitous software controller to prevent deadlocks for automated guided vehicle systems in a container port terminal environment. Journal of Intelligent Manufacturing 20(3): 321\u2013325","journal-title":"Journal of Intelligent Manufacturing"},{"key":"647_CR34","doi-asserted-by":"crossref","first-page":"137","DOI":"10.1023\/A:1022247531361","volume":"14","author":"V. S. Paul","year":"2003","unstructured":"Paul V. S., Hendrik V. B. (2003) Deadlock avoidance in flexible flow shops with loops. Journal of Intelligent Manufacturing 14: 137\u2013144","journal-title":"Journal of Intelligent Manufacturing"},{"issue":"6","key":"647_CR35","doi-asserted-by":"crossref","first-page":"1337","DOI":"10.1109\/TSMCA.2008.2003535","volume":"38","author":"L. Piroddi","year":"2008","unstructured":"Piroddi L., Cordone R., Fumagalli I. (2008) Selective siphon control for deadlock prevention in Petri nets. IEEE Transactions on Systems, Man, and Cybernetics: Part A 38(6): 1337\u20131348","journal-title":"IEEE Transactions on Systems, Man, and Cybernetics: Part A"},{"issue":"3","key":"647_CR36","doi-asserted-by":"crossref","first-page":"650","DOI":"10.1109\/TSMCA.2009.2013189","volume":"39","author":"L. Piroddi","year":"2009","unstructured":"Piroddi L., Cordone R., Fumagalli I. (2009) Combined siphon and marking generation for deadlock prevention in Petri nets. IEEE Transactions on Systems, Man, and Cybernetics: Part A 39(3): 650\u2013661","journal-title":"IEEE Transactions on Systems, Man, and Cybernetics: Part A"},{"key":"647_CR37","doi-asserted-by":"crossref","first-page":"339","DOI":"10.1023\/A:1019920324813","volume":"13","author":"K. Saitou","year":"2002","unstructured":"Saitou K., Malpathak S., Qvam H. (2002) Ruobust design of flexible manufacturing systemss using colored Petri net and genetic algorithm. Journal of Intelligent Manufacturing 13: 339\u2013351","journal-title":"Journal of Intelligent Manufacturing"},{"key":"647_CR38","doi-asserted-by":"crossref","unstructured":"Tricas, F., Vall\u00e8s, F. G., Colom, J. M., & Ezpeleta, J. (2005). A Petri net structure-based deadlock prevention solution for sequential resource allocation systems. Proceedings of the 2005 IEEE International Conference on Robotics and Automation (pp. 271\u2013277). Barcelona, Spain.","DOI":"10.1109\/ROBOT.2005.1570131"},{"issue":"1","key":"647_CR39","doi-asserted-by":"crossref","first-page":"67","DOI":"10.1007\/s10845-005-4825-5","volume":"16","author":"G. J. Tsinarekis","year":"2005","unstructured":"Tsinarekis G. J., Tsourveloudis N. C., Valavanis K. P. (2005) Modular Petri net based modeling, analysis, synthesis, and performance evaluation of random toplogy dedicated production systems. Journal of Intelligent Manufacturing 16(1): 67\u201392","journal-title":"Journal of Intelligent Manufacturing"},{"key":"647_CR40","doi-asserted-by":"crossref","first-page":"204","DOI":"10.1007\/s00170-002-1526-5","volume":"23","author":"M. Uzam","year":"2004","unstructured":"Uzam M. (2004) The use of the Petri net reduction approach for an optimal deadlock prevention policy for flexible manufacturing systems. International Journal of Advanced Manufacturing Technology 23: 204\u2013219","journal-title":"International Journal of Advanced Manufacturing Technology"},{"issue":"10","key":"647_CR41","doi-asserted-by":"crossref","first-page":"1987","DOI":"10.1080\/00207540500431321","volume":"44","author":"M. Uzam","year":"2006","unstructured":"Uzam M., Zhou M. C. (2006) An improved iterative synthesis method for liveness enforcing supervisors of flexible manufacturing systems. International Journal of Production Research 44(10): 1987\u20132030","journal-title":"International Journal of Production Research"},{"issue":"3","key":"647_CR42","doi-asserted-by":"crossref","first-page":"362","DOI":"10.1109\/TSMCA.2007.893484","volume":"37","author":"M. Uzam","year":"2007","unstructured":"Uzam M., Zhou M. C. (2007) An iterative synthesis approach to Petri net-based deadlock prevention policy for flexible manufacturing systems. IEEE Transactions on Systems, Man, and Cybernetics: Part A 37(3): 362\u2013371","journal-title":"IEEE Transactions on Systems, Man, and Cybernetics: Part A"},{"key":"647_CR43","doi-asserted-by":"crossref","first-page":"150","DOI":"10.1007\/s00170-006-0701-5","volume":"35","author":"M. Uzam","year":"2007","unstructured":"Uzam M., Li Z. W., Zhou M. C. (2007) Identification and elimination of redundant control places in petri net based liveness enforcing supervisors of FMS. International Journal of Advanced Manufacturing Technology 35: 150\u2013168","journal-title":"International Journal of Advanced Manufacturing Technology"},{"issue":"6","key":"647_CR44","doi-asserted-by":"crossref","first-page":"713","DOI":"10.1109\/70.63257","volume":"6","author":"N. Viswanadham","year":"1990","unstructured":"Viswanadham N., Narahari Y., Johnson T. L. (1990) Deadlock prevention and deadlock avoidance in flexible manufacturing systems using Petri net models. IEEE Transactions on Robotics and Automation 6(6): 713\u2013723","journal-title":"IEEE Transactions on Robotics and Automation"},{"issue":"5","key":"647_CR45","first-page":"657","volume":"17","author":"N. Q. 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"},{"issue":"6","key":"647_CR46","doi-asserted-by":"crossref","first-page":"1193","DOI":"10.1109\/TSMCB.2005.850141","volume":"35","author":"N. Q. Wu","year":"2005","unstructured":"Wu N. Q., Zhou M. C. (2005) Modeling and deadlock avoidance of automated manufacturing systems with multiple automated guided vehicles. IEEE Transactions on Systems, Man, and Cybernetics: Part B 35(6): 1193\u20131202","journal-title":"IEEE Transactions on Systems, Man, and Cybernetics: Part B"},{"issue":"6","key":"647_CR47","doi-asserted-by":"crossref","first-page":"853","DOI":"10.1109\/70.105378","volume":"7","author":"R. A. Wysk","year":"1991","unstructured":"Wysk R. A., Yang N. S., Joshi S. (1991) Detection of deadlocks in flexible manufacturing cells. IEEE Transactions on Robotics and Automation 7(6): 853\u2013859","journal-title":"IEEE Transactions on Robotics and Automation"},{"issue":"4","key":"647_CR48","doi-asserted-by":"crossref","first-page":"692","DOI":"10.1109\/70.781975","volume":"15","author":"X. L. Xie","year":"1999","unstructured":"Xie X. L., Jeng M. D. (1999) ERCN-merged nets and their analysis using siphons. IIEEE Transactions on Robotics and Automation 15(4): 692\u2013703","journal-title":"IIEEE Transactions on Robotics and Automation"},{"issue":"2","key":"647_CR49","doi-asserted-by":"crossref","first-page":"289","DOI":"10.1109\/9.481550","volume":"41","author":"K. Y. Xing","year":"1996","unstructured":"Xing K. Y., Hu B. S., Chen H. X. (1996) Deadlock avoidance policy for Petri-net modelling of flexible manufacturing systems with shared resources. IEEE Transactions on Automation Control 41(2): 289\u2013295","journal-title":"IEEE Transactions on Automation Control"},{"issue":"4","key":"647_CR50","doi-asserted-by":"crossref","first-page":"515","DOI":"10.1109\/70.86081","volume":"7","author":"M. C. Zhou","year":"1991","unstructured":"Zhou M. C., DiCesare F. (1991) Parallel and sequential mutual exclusions for Petri net modeling for manufacturing systems with shared resources. IEEE Transactions on Robotics and Automation 7(4): 515\u2013527","journal-title":"IEEE Transactions on Robotics and Automation"},{"issue":"3","key":"647_CR51","doi-asserted-by":"crossref","first-page":"350","DOI":"10.1109\/70.143353","volume":"8","author":"M. C. Zhou","year":"1992","unstructured":"Zhou M. C., DiCesare F., Desrochers A. A. (1992a) A Hybrid Methodology for synthesis of Petri nets for manufacturing systems. IEEE Transactions on Robotics and Automation 8(3): 350\u2013361","journal-title":"IEEE Transactions on Robotics and Automation"},{"issue":"6","key":"647_CR52","doi-asserted-by":"crossref","first-page":"1199","DOI":"10.1016\/0005-1098(92)90061-J","volume":"28","author":"M. C. Zhou","year":"1992","unstructured":"Zhou M. C., DiCesare F., Rudolph D. (1992b) Design and implementation of a Petri net based supervisor for a flexible manufacturing system. IFAC Journal Automatica 28(6): 1199\u20131208","journal-title":"IFAC Journal Automatica"},{"key":"647_CR53","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4615-3126-5","volume-title":"Petri net synthesis for discrete event control of manufacturing systems","author":"M. C. Zhou","year":"1993","unstructured":"Zhou M. C., DiCesare F. (1993) Petri net synthesis for discrete event control of manufacturing systems (1st ed.). Kluwer, Boston","edition":"1"}],"container-title":["Journal of Intelligent Manufacturing"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10845-012-0647-4.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10845-012-0647-4\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10845-012-0647-4","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,28]],"date-time":"2019-06-28T08:39:46Z","timestamp":1561711186000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10845-012-0647-4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012,5,6]]},"references-count":53,"journal-issue":{"issue":"6","published-print":{"date-parts":[[2013,12]]}},"alternative-id":["647"],"URL":"https:\/\/doi.org\/10.1007\/s10845-012-0647-4","relation":{},"ISSN":["0956-5515","1572-8145"],"issn-type":[{"value":"0956-5515","type":"print"},{"value":"1572-8145","type":"electronic"}],"subject":[],"published":{"date-parts":[[2012,5,6]]}}}