{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,24]],"date-time":"2025-02-24T01:10:35Z","timestamp":1740359435455,"version":"3.37.3"},"reference-count":19,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2010,6]]},"DOI":"10.1109\/icicis.2010.5534758","type":"proceedings-article","created":{"date-parts":[[2010,8,9]],"date-time":"2010-08-09T22:13:25Z","timestamp":1281392005000},"page":"588-593","source":"Crossref","is-referenced-by-count":3,"title":["An improved deadlock prevention strategy for FMSs using theory of regions"],"prefix":"10.1109","author":[{"given":"Yi-Sheng","family":"Huang","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Yen-Liang","family":"Pan","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jenn-Huei","family":"Lin","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1007\/BF00264612"},{"key":"ref11","article-title":"On the synthesis of general Petri nets","author":"badouel","year":"1996","journal-title":"Research Report"},{"key":"ref12","article-title":"A maximally permissive deadlock prevention policy for FMS based on Petri net siphon control and the theory of regions","volume":"5","author":"li","year":"2008","journal-title":"IEEE Trans on Automation Science and Engineering"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1080\/00207540500431321"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1109\/TSMCA.2008.2003535"},{"key":"ref15","article-title":"An Enforcing Supervisor for Flexible Manufacturing System Using Theory of Regions","author":"huang","year":"0","journal-title":"IEEE International Conference on Syst Man and Cybern"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1007\/s00170-009-2299-x"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1109\/5.24143"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1109\/5.21072"},{"key":"ref19","doi-asserted-by":"crossref","first-page":"173","DOI":"10.1109\/TSMCC.2007.913920","article-title":"A survey and comparison of petri net-based deadlock prevention policies for flexible manufacturing systems","volume":"38","author":"li","year":"2008","journal-title":"IEEE Trans Syst Man Cybern C Appl Rev"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1080\/00207540500431321"},{"key":"ref3","first-page":"5079","article-title":"A deadlock prevention approach for FMS using siphon and the theory of regions","author":"li","year":"2004","journal-title":"Man and Cybemetics IEEE International Conference on System"},{"key":"ref6","doi-asserted-by":"crossref","first-page":"322","DOI":"10.1007\/11767589_18","article-title":"Designing reversibility-enforcing supervisors of polynomial complexity for bounded Petri nets through the theory of regions","author":"reveliotis","year":"2006","journal-title":"Petri nets and other models of concurrency ICATPN Lecture Notes in Computer Science"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/TSMCA.2007.893484"},{"key":"ref8","article-title":"Theory of Regions","author":"badouel","year":"1998","journal-title":"Third Advance Course on Petri Nets"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1007\/s00170-007-1074-0"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/TRA.2002.807555"},{"key":"ref1","doi-asserted-by":"crossref","first-page":"192","DOI":"10.1007\/s001700200014","article-title":"An optimal deadlock prevention policy for flexible manufacturing systems using Petri net models with resources and the theory of regions","volume":"19","author":"uzam","year":"2002","journal-title":"Int J Adv Manuf Tech"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1007\/BF00264611"}],"event":{"name":"2010 3rd International Conference on Information Sciences and Interaction Sciences (ICIS)","start":{"date-parts":[[2010,6,23]]},"location":"Chengdu, China","end":{"date-parts":[[2010,6,25]]}},"container-title":["The 3rd International Conference on Information Sciences and Interaction Sciences"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/5510903\/5534673\/05534758.pdf?arnumber=5534758","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,2,24]],"date-time":"2025-02-24T00:39:22Z","timestamp":1740357562000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/5534758\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010,6]]},"references-count":19,"URL":"https:\/\/doi.org\/10.1109\/icicis.2010.5534758","relation":{},"subject":[],"published":{"date-parts":[[2010,6]]}}}