{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,27]],"date-time":"2025-10-27T16:03:42Z","timestamp":1761581022681},"reference-count":22,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"4","license":[{"start":{"date-parts":[[2012,10,1]],"date-time":"2012-10-01T00:00:00Z","timestamp":1349049600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IEEE Trans. Automat. Sci. Eng."],"published-print":{"date-parts":[[2012,10]]},"DOI":"10.1109\/tase.2012.2215323","type":"journal-article","created":{"date-parts":[[2012,9,12]],"date-time":"2012-09-12T21:18:41Z","timestamp":1347484721000},"page":"654-668","source":"Crossref","is-referenced-by-count":39,"title":["A Hybrid Model of Complex Automated Warehouse Systems\u2014Part II: Analysis and Experimental Results"],"prefix":"10.1109","volume":"9","author":[{"given":"Francesco","family":"Basile","sequence":"first","affiliation":[]},{"given":"Pasquale","family":"Chiacchio","sequence":"additional","affiliation":[]},{"given":"Jolanda","family":"Coppola","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1109\/TASE.2011.2156783"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2006.887905"},{"key":"ref12","doi-asserted-by":"crossref","first-page":"1168","DOI":"10.1016\/j.cie.2009.05.006","article-title":"Local and global deadlock prevention policies for resource allocation systems using partially generated reachability graphs","volume":"57","author":"li","year":"2009","journal-title":"Comput Ind Eng"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(94)00202-T"},{"key":"ref14","article-title":"Structural and hierarchical translation of hybrid Petri nets in hybrid automata","author":"ghomri","year":"2005","journal-title":"Proc IMACS'05"},{"key":"ref15","first-page":"415","article-title":"Liveness and home states in equal conflict systems","volume":"691","author":"teruel","year":"1993","journal-title":"Application and Theory of Petri Nets Springer"},{"key":"ref16","year":"2003","journal-title":"FEM 9 851Performance Data of Storage and Retrieval Machines Cycle Times"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1016\/j.conengprac.2004.10.017"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1109\/CASE.2011.6042437"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1109\/TCST.2006.890281"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2008.929375"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/TSMCA.2011.2162502"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1109\/WODES.2002.1167680"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/TSMCC.2007.897690"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1016\/j.automatica.2012.06.039"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2007.893969"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/TSMCA.2003.820590"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1109\/TASE.2012.2215322"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/70.370500"},{"key":"ref20","year":"0","journal-title":"Pnetlab"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1016\/j.csi.2008.03.021"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1016\/j.conengprac.2006.07.006"}],"container-title":["IEEE Transactions on Automation Science and Engineering"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/8856\/6319440\/06301787.pdf?arnumber=6301787","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,10,10]],"date-time":"2021-10-10T23:50:27Z","timestamp":1633909827000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6301787\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012,10]]},"references-count":22,"journal-issue":{"issue":"4"},"URL":"https:\/\/doi.org\/10.1109\/tase.2012.2215323","relation":{},"ISSN":["1545-5955","1558-3783"],"issn-type":[{"value":"1545-5955","type":"print"},{"value":"1558-3783","type":"electronic"}],"subject":[],"published":{"date-parts":[[2012,10]]}}}