{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,23]],"date-time":"2024-10-23T02:57:04Z","timestamp":1729652224801,"version":"3.28.0"},"reference-count":9,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2015,5]]},"DOI":"10.1109\/icra.2015.7139734","type":"proceedings-article","created":{"date-parts":[[2015,7,6]],"date-time":"2015-07-06T17:20:30Z","timestamp":1436203230000},"page":"3841-3848","source":"Crossref","is-referenced-by-count":1,"title":["An approach to specification simplification in automated manufacturing systems using invariance and inequality analysis"],"prefix":"10.1109","author":[{"given":"Chen","family":"Chen","sequence":"first","affiliation":[]},{"given":"Hesuan","family":"Hu","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"3","first-page":"974","article-title":"Generalized mutual exclusion constraints on nets with uncontrollable systems","author":"giua","year":"1992","journal-title":"Proc IEEE Int Conf Syst Man and Cyber"},{"key":"2","doi-asserted-by":"publisher","DOI":"10.1109\/70.370500"},{"key":"1","doi-asserted-by":"publisher","DOI":"10.1109\/ICSMC.1995.538436"},{"key":"7","doi-asserted-by":"crossref","first-page":"2751","DOI":"10.1109\/TAC.2011.2128590","article-title":"Approach for transforming linear constraints on Petri Nets","volume":"56","author":"luo","year":"2011","journal-title":"IEEE Trans Autom Control"},{"key":"6","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2003.819298"},{"key":"5","doi-asserted-by":"crossref","first-page":"1457","DOI":"10.1109\/TMM.2009.2032678","article-title":"Liveness enforcing supervision of video streaming systems using non-sequential petri nets","volume":"11","author":"hu","year":"2009","journal-title":"IEEE Trans Multi"},{"key":"4","doi-asserted-by":"publisher","DOI":"10.1109\/TASE.2013.2288645"},{"key":"9","doi-asserted-by":"publisher","DOI":"10.1109\/TSMCA.2007.893484"},{"key":"8","doi-asserted-by":"publisher","DOI":"10.1109\/ROBOT.2005.1570131"}],"event":{"name":"2015 IEEE International Conference on Robotics and Automation (ICRA)","start":{"date-parts":[[2015,5,26]]},"location":"Seattle, WA, USA","end":{"date-parts":[[2015,5,30]]}},"container-title":["2015 IEEE International Conference on Robotics and Automation (ICRA)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/7128761\/7138973\/07139734.pdf?arnumber=7139734","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,23]],"date-time":"2017-06-23T11:12:19Z","timestamp":1498216339000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/7139734\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015,5]]},"references-count":9,"URL":"https:\/\/doi.org\/10.1109\/icra.2015.7139734","relation":{},"subject":[],"published":{"date-parts":[[2015,5]]}}}