{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,23]],"date-time":"2024-10-23T02:32:04Z","timestamp":1729650724186,"version":"3.28.0"},"reference-count":11,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1109\/robot.2005.1570133","type":"proceedings-article","created":{"date-parts":[[2006,1,18]],"date-time":"2006-01-18T18:42:54Z","timestamp":1137609774000},"page":"284-291","source":"Crossref","is-referenced-by-count":0,"title":["Modeling Admissible Behavior Using Event Signals"],"prefix":"10.1109","author":[{"given":"L.E.","family":"Pinzon","sequence":"first","affiliation":[]},{"given":"M.A.","family":"Jafari","sequence":"additional","affiliation":[]},{"given":"A.","family":"Ama","sequence":"additional","affiliation":[]},{"given":"H.-M.","family":"Hanisch","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"3","doi-asserted-by":"publisher","DOI":"10.1109\/ICSMC.1995.538253"},{"key":"2","doi-asserted-by":"publisher","DOI":"10.1109\/ICSMC.1998.725493"},{"key":"10","doi-asserted-by":"crossref","first-page":"2899","DOI":"10.23919\/ACC.1991.4791934","article-title":"Petri Net Based Models for Condition\/Event Systems","volume":"3","author":"sreenivas","year":"1991","journal-title":"Proceedings of the 1991 American Control Conference"},{"article-title":"Petri Nets as Discrete Event Models for Supervisory Control","year":"1992","author":"giua","key":"1"},{"key":"7","article-title":"Sequential Control Specifications with TL and NCES","author":"pinzon","year":"1998","journal-title":"Rutcor Research Report"},{"key":"6","doi-asserted-by":"publisher","DOI":"10.1023\/A:1008740917111"},{"article-title":"Developing sequential controllers for discrete event systems","year":"2001","author":"pinzon","key":"5"},{"key":"4","doi-asserted-by":"publisher","DOI":"10.1023\/A:1008271916548"},{"key":"9","doi-asserted-by":"publisher","DOI":"10.1109\/ETFA.1995.496811"},{"key":"8","doi-asserted-by":"publisher","DOI":"10.1137\/0325013"},{"journal-title":"Analysing Signal-Event-Nets","year":"1998","author":"starke","key":"11"}],"event":{"name":"2005 IEEE International Conference on Robotics and Automation","location":"Barcelona, Spain"},"container-title":["Proceedings of the 2005 IEEE International Conference on Robotics and Automation"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/10495\/33250\/01570133.pdf?arnumber=1570133","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,15]],"date-time":"2019-04-15T06:22:14Z","timestamp":1555309334000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/1570133\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"references-count":11,"URL":"https:\/\/doi.org\/10.1109\/robot.2005.1570133","relation":{},"subject":[]}}