{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,8,15]],"date-time":"2025-08-15T00:28:22Z","timestamp":1755217702195,"version":"3.43.0"},"reference-count":23,"publisher":"IEEE","license":[{"start":{"date-parts":[[2014,4,1]],"date-time":"2014-04-01T00:00:00Z","timestamp":1396310400000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2014,4,1]],"date-time":"2014-04-01T00:00:00Z","timestamp":1396310400000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014,4]]},"DOI":"10.1109\/icnsc.2014.6819690","type":"proceedings-article","created":{"date-parts":[[2014,5,30]],"date-time":"2014-05-30T14:33:37Z","timestamp":1401460417000},"page":"578-583","source":"Crossref","is-referenced-by-count":0,"title":["Intrinsically live structures in process and resource-oriented Petri nets modeling automated manufacturing systems"],"prefix":"10.1109","author":[{"given":"Ding","family":"Liu","sequence":"first","affiliation":[{"name":"School of Electro-Mechanical Engineering, Xidian University, Xi'an 710071, China"}]},{"given":"YiFan","family":"Hou","sequence":"additional","affiliation":[{"name":"School of Electro-Mechanical Engineering, Xidian University, Xi'an 710071, China"}]},{"given":"Kamel","family":"Barkaoui","sequence":"additional","affiliation":[{"name":"Laboratoire CEDRIC, Conservatoire National des Arts et Métiers, 192 rue Saint Martin, 75141 Paris Cedex 03, France"}]},{"given":"MengChu","family":"Zhou","sequence":"additional","affiliation":[{"name":"The Key Laboratory of Embedded System and Service Computing, Ministry of Education, Tongji University, Shanghai 201804, China"}]}],"member":"263","reference":[{"key":"19","doi-asserted-by":"publisher","DOI":"10.1002\/asjc.184"},{"key":"22","doi-asserted-by":"publisher","DOI":"10.1109\/70.143353"},{"key":"17","doi-asserted-by":"publisher","DOI":"10.1109\/TSMCB.2005.850141"},{"key":"23","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4615-3126-5"},{"journal-title":"System Modeling and Control with Resourceoriented Petri Nets","year":"2010","author":"wu","key":"18"},{"key":"15","doi-asserted-by":"crossref","first-page":"192","DOI":"10.1109\/5326.760564","article-title":"Necessary and sufficient conditions for deadlock-free operation in flexible manufacturing systems using a colored Petri net model","volume":"29","author":"wu","year":"1999","journal-title":"IEEE Trans Syst Man Cybern C"},{"key":"16","doi-asserted-by":"publisher","DOI":"10.1109\/70.964666"},{"key":"13","doi-asserted-by":"publisher","DOI":"10.1016\/j.automatica.2013.07.023"},{"key":"14","first-page":"187","article-title":"On intrinsically live structure of a class of generalized Petri nets modeling FMS","author":"liu","year":"2012","journal-title":"P Roc 11th WaDES"},{"key":"11","doi-asserted-by":"publisher","DOI":"10.1016\/j.automatica.2012.01.012"},{"key":"12","doi-asserted-by":"publisher","DOI":"10.1109\/TSMCA.2012.2192266"},{"journal-title":"Modeling Simulation and Control of Flexible Manufacturing Systems A Petri Net Approach","year":"1998","author":"zhou","key":"21"},{"year":"0","key":"3"},{"key":"20","doi-asserted-by":"crossref","first-page":"9","DOI":"10.1177\/0142331208095622","article-title":"Intelligent token petri nets for modelling and control of reconfigurable automated manufacturing systems with dynamical changes","volume":"33","author":"wu","year":"2011","journal-title":"Trans Inst Meas Control"},{"key":"2","first-page":"90","article-title":"On the equivalence between liveness and deadlock-freeness in Petri nets","volume":"3536","author":"barkaoui","year":"2005","journal-title":"P Roc 26th Int Conf Appl T Heory of Petri Nets LNCS"},{"key":"1","doi-asserted-by":"publisher","DOI":"10.1007\/BF01438223"},{"key":"10","doi-asserted-by":"publisher","DOI":"10.1016\/j.automatica.2010.03.011"},{"key":"7","doi-asserted-by":"publisher","DOI":"10.1109\/TSMCA.2006.878953"},{"key":"6","doi-asserted-by":"publisher","DOI":"10.1109\/CoASE.2012.6386348"},{"key":"5","doi-asserted-by":"publisher","DOI":"10.1109\/TSMCA.2003.820590"},{"key":"4","doi-asserted-by":"publisher","DOI":"10.1109\/70.370500"},{"journal-title":"Deadlock Resolution in Automated Mamifacturing Systems-A Novel Petri Net Approach","year":"2010","author":"li","key":"9"},{"key":"8","doi-asserted-by":"publisher","DOI":"10.1109\/TSMCC.2007.913920"}],"event":{"name":"2014 IEEE 11th International Conference on Networking, Sensing and Control (ICNSC)","start":{"date-parts":[[2014,4,7]]},"location":"Miami, FL, USA","end":{"date-parts":[[2014,4,9]]}},"container-title":["Proceedings of the 11th IEEE International Conference on Networking, Sensing and Control"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/6812386\/6819588\/06819690.pdf?arnumber=6819690","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,8,5]],"date-time":"2025-08-05T18:00:55Z","timestamp":1754416855000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/6819690\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014,4]]},"references-count":23,"URL":"https:\/\/doi.org\/10.1109\/icnsc.2014.6819690","relation":{},"subject":[],"published":{"date-parts":[[2014,4]]}}}