{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,22]],"date-time":"2024-10-22T18:09:08Z","timestamp":1729620548518,"version":"3.28.0"},"reference-count":17,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1109\/isic.2002.1157863","type":"proceedings-article","created":{"date-parts":[[2003,6,26]],"date-time":"2003-06-26T01:03:42Z","timestamp":1056589422000},"page":"795-800","source":"Crossref","is-referenced-by-count":0,"title":["Colored Petri net control of OR-logic"],"prefix":"10.1109","author":[{"family":"Weimin Wu","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"family":"Hongye Su","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"family":"Jian Chu","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"W.M.","family":"Wonham","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1109\/9.53517"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-06289-0"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1016\/0005-1098(91)90055-7"},{"key":"ref13","doi-asserted-by":"crossref","first-page":"512","DOI":"10.1109\/9.280750","article-title":"Control of Vector Discrete-Event systems II —Controller synthesis","volume":"39","author":"li","year":"1994","journal-title":"IEEE T-AC"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4615-5711-1"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1109\/9.847725"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1109\/5.24143"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1023\/A:1013331703036"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1023\/A:1008349927281"},{"key":"ref3","first-page":"1717","article-title":"On Forbidden State Problems for a Class of Controlled Petri Nets","volume":"41","author":"boel","year":"1996","journal-title":"IEEE T-AC"},{"key":"ref6","first-page":"90","article-title":"On Forbidden State Problems in a General Class of Non-ordinary Controlled Petri Nets","author":"cho","year":"1998","journal-title":"Proc IEEE Conf SMC 1998"},{"key":"ref5","first-page":"2682","article-title":"Inhibitor Arc Based State Avoidance Controller for Non-Convex Forbidden State Problems in Petri Nets","author":"cho","year":"2000","journal-title":"Proc of 39th IEEE CDC"},{"key":"ref8","first-page":"974","article-title":"Generalized Mutual Exclusion Constraints on Nets with Uncontrollable Transitions","author":"giua","year":"1992","journal-title":"Proc of the 1992 IEEE Int Conf on SMC"},{"journal-title":"Petri Nets and Grafcet - Tools for Modeling Discrete Event Systems","year":"1992","author":"david","key":"ref7"},{"key":"ref2","article-title":"Extensions to Coloured Petri Nets and their Application to Protocols","author":"billington","year":"1991","journal-title":"Technical Report No 222"},{"key":"ref1","article-title":"Extensions to Colored Petri nets","author":"billington","year":"1989","journal-title":"Proc 3 Intern Workshop on Petri Nets and Performance Models"},{"key":"ref9","first-page":"267","article-title":"Petri Net Supervisors for Generalized Mutual Exclusion Constraints","volume":"12","author":"giua","year":"1993","journal-title":"Proc of 12th IFAC World Congress"}],"event":{"name":"International Symposium on Intelligent Control","acronym":"ISIC-02","location":"Vancouver, BC, Canada"},"container-title":["Proceedings of the IEEE Internatinal Symposium on Intelligent Control"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/8228\/25379\/01157863.pdf?arnumber=1157863","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,15]],"date-time":"2017-06-15T22:45:14Z","timestamp":1497566714000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/1157863\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"references-count":17,"URL":"https:\/\/doi.org\/10.1109\/isic.2002.1157863","relation":{},"subject":[]}}