{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,8,2]],"date-time":"2025-08-02T19:06:15Z","timestamp":1754161575610,"version":"3.41.2"},"reference-count":7,"publisher":"Springer Science and Business Media LLC","issue":"4","license":[{"start":{"date-parts":[[2003,10,1]],"date-time":"2003-10-01T00:00:00Z","timestamp":1064966400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2003,10,1]],"date-time":"2003-10-01T00:00:00Z","timestamp":1064966400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Discrete Event Dynamic Systems"],"published-print":{"date-parts":[[2003,10]]},"DOI":"10.1023\/a:1025675515166","type":"journal-article","created":{"date-parts":[[2003,9,23]],"date-time":"2003-09-23T18:47:08Z","timestamp":1064342828000},"page":"303-320","source":"Crossref","is-referenced-by-count":2,"title":["On the Optimality of Randomized Deadlock Avoidance Policies"],"prefix":"10.1007","volume":"13","author":[{"given":"Spyros A.","family":"Reveliotis","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jin Young","family":"Choi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"5144386_CR1","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4757-4070-7","volume-title":"Introduction to Discrete Event Systems","author":"C. G. Cassandras","year":"1999","unstructured":"Cassandras, C. G., and Lafortune, S. 1999. Introduction to Discrete Event Systems. Boston, MA: Kluwer Academic Publishers."},{"key":"5144386_CR2","first-page":"474\u2014480","volume":"19","author":"J. Y. Choi","year":"2003","unstructured":"Choi, J. Y., and Reveliotis, S. A. 2003. A generalized stochastic peth net model for performance analysis and control of capacitated re-entrant lines. IEEE Trans. on Robotics and Autonzation. 19: 474\u2014480.","journal-title":"IEEE Trans. on Robotics and Autonzation"},{"key":"5144386_CR3","volume-title":"Production and Operations Analysis","author":"S. Nahmias","year":"1997","unstructured":"Nahmias, S. 1997. Production and Operations Analysis. 3rd edition, Chicago, IL: Irwin.","edition":"3rd edition"},{"key":"5144386_CR4","first-page":"799\u2014811","volume":"30","author":"S. A. Reveliotis","year":"2000","unstructured":"Reveliotis. S. A. 2000a. An analytical investigation of the deadlock avoidance vs. detection and recovery problem in buffer-space allocation of flexibly automated production systems. IEEE Trans. on SMC: Part B \u2014 Special Issue on Discrete System Control 30: 799\u2014811.","journal-title":"IEEE Trans. on SMC: Part B \u2014 Special Issue on Discrete System Control"},{"key":"5144386_CR5","doi-asserted-by":"crossref","unstructured":"Reveliotis, S. A. 2000b. Selecting the optimal deadlock resolution strategy in buffer space allocation of flexibly automated production systems\u2014an analytical perspective. In WODES 2000, IEE, 181\u2014192.","DOI":"10.1007\/978-1-4615-4493-7_18"},{"key":"5144386_CR6","doi-asserted-by":"crossref","first-page":"845\u2014857","DOI":"10.1109\/70.544768","volume":"12","author":"S. A. Reveliotis","year":"1996","unstructured":"Reveliotis, S. A., and Ferreira, P. M. 1996. Deadlock avoidance policies for automated manufacturing cells. IEEE Trans. on Robotics & Automation 12: 845\u2014857.","journal-title":"IEEE Trans. on Robotics & Automation"},{"key":"5144386_CR7","unstructured":"Strang, G. 1988. Linear Algebra and its Applications, 3rd edition. Harcourt College Publications."}],"container-title":["Discrete Event Dynamic Systems"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1025675515166.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1023\/A:1025675515166\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1025675515166.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,7,29]],"date-time":"2025-07-29T03:54:14Z","timestamp":1753761254000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1023\/A:1025675515166"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2003,10]]},"references-count":7,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2003,10]]}},"alternative-id":["5144386"],"URL":"https:\/\/doi.org\/10.1023\/a:1025675515166","relation":{},"ISSN":["0924-6703","1573-7594"],"issn-type":[{"type":"print","value":"0924-6703"},{"type":"electronic","value":"1573-7594"}],"subject":[],"published":{"date-parts":[[2003,10]]}}}