{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,22]],"date-time":"2024-10-22T18:08:40Z","timestamp":1729620520084,"version":"3.28.0"},"reference-count":26,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2009,10]]},"DOI":"10.1109\/icsmc.2009.5346581","type":"proceedings-article","created":{"date-parts":[[2009,12,10]],"date-time":"2009-12-10T19:44:31Z","timestamp":1260474271000},"page":"187-192","source":"Crossref","is-referenced-by-count":1,"title":["An efficient liveness enforcing supervisor for FMSs based on Petri nets and the 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":"Mu-Der","family":"Jeng","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"19","doi-asserted-by":"publisher","DOI":"10.1109\/TASE.2006.884674"},{"key":"17","article-title":"Theory of Regions","author":"badouel","year":"1998","journal-title":"Third Advance Course on Petri Nets"},{"key":"18","doi-asserted-by":"publisher","DOI":"10.1109\/TRA.2002.807555"},{"key":"15","doi-asserted-by":"publisher","DOI":"10.1007\/s002360050046"},{"key":"16","doi-asserted-by":"publisher","DOI":"10.1142\/S0129054192000231"},{"key":"13","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(92)90180-N"},{"key":"14","doi-asserted-by":"crossref","first-page":"69","DOI":"10.1007\/978-1-4471-3078-9_5","article-title":"On Synchronic Structure of Transition Systems","author":"bernardinello","year":"1995","journal-title":"Proc of the Int Workshop on Structures in Concurrency Theory (STRICT)"},{"key":"11","doi-asserted-by":"publisher","DOI":"10.1109\/12.707587"},{"key":"12","doi-asserted-by":"crossref","first-page":"315","DOI":"10.1007\/BF00264611","article-title":"Partial (Set) 2-Structures, Parts III","volume":"27","author":"ehrenfeucht","year":"1990","journal-title":"Acta Informatica"},{"key":"21","doi-asserted-by":"publisher","DOI":"10.1109\/TSMCC.2007.913920"},{"key":"20","doi-asserted-by":"publisher","DOI":"10.1109\/TSMCA.2007.893484"},{"key":"22","doi-asserted-by":"publisher","DOI":"10.1109\/5.24143"},{"key":"23","doi-asserted-by":"publisher","DOI":"10.1109\/66.705370"},{"key":"24","doi-asserted-by":"publisher","DOI":"10.1109\/5.21072"},{"key":"25","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":"26","doi-asserted-by":"publisher","DOI":"10.1007\/BF01438223"},{"key":"3","doi-asserted-by":"publisher","DOI":"10.1080\/00207540010002405"},{"key":"2","doi-asserted-by":"publisher","DOI":"10.1109\/70.370500"},{"key":"10","doi-asserted-by":"publisher","DOI":"10.1109\/12.707587"},{"year":"0","key":"1"},{"key":"7","doi-asserted-by":"publisher","DOI":"10.1109\/TSMCA.2003.820576"},{"key":"6","doi-asserted-by":"publisher","DOI":"10.1109\/TSMCC.2007.897333"},{"key":"5","doi-asserted-by":"publisher","DOI":"10.1007\/s00170-006-0708-y"},{"key":"4","doi-asserted-by":"publisher","DOI":"10.1109\/TSMCA.2006.878953"},{"key":"9","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":"8","doi-asserted-by":"crossref","first-page":"364","DOI":"10.1007\/3-540-59293-8_207","article-title":"Polynomial Algorithms for the Synthesis of Bounded Nets","volume":"915","author":"badouel","year":"1995","journal-title":"Lecture Notes in Computer Science"}],"event":{"name":"2009 IEEE International Conference on Systems, Man and Cybernetics - SMC","start":{"date-parts":[[2009,10,11]]},"location":"San Antonio, TX, USA","end":{"date-parts":[[2009,10,14]]}},"container-title":["2009 IEEE International Conference on Systems, Man and Cybernetics"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/5340904\/5345886\/05346581.pdf?arnumber=5346581","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,24]],"date-time":"2019-05-24T12:25:19Z","timestamp":1558700719000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/5346581\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009,10]]},"references-count":26,"URL":"https:\/\/doi.org\/10.1109\/icsmc.2009.5346581","relation":{},"subject":[],"published":{"date-parts":[[2009,10]]}}}