{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,23]],"date-time":"2024-10-23T02:57:28Z","timestamp":1729652248892,"version":"3.28.0"},"reference-count":13,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014,6]]},"DOI":"10.1109\/hsi.2014.6860486","type":"proceedings-article","created":{"date-parts":[[2014,10,8]],"date-time":"2014-10-08T17:33:43Z","timestamp":1412789623000},"page":"261-266","source":"Crossref","is-referenced-by-count":3,"title":["Output events for human-system interaction modeling"],"prefix":"10.1109","author":[{"given":"Rogerio","family":"Campos-Rebelo","sequence":"first","affiliation":[]},{"given":"Aniko","family":"Costa","sequence":"additional","affiliation":[]},{"given":"Luis","family":"Gomes","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"13","doi-asserted-by":"crossref","first-page":"122","DOI":"10.1007\/3-540-65306-6_15","article-title":"Place\/transition petri nets","volume":"1491","author":"desel","year":"1998","journal-title":"Lectures on Petri Nets I Basic Models"},{"key":"11","doi-asserted-by":"publisher","DOI":"10.1145\/967900.967996"},{"key":"12","doi-asserted-by":"crossref","first-page":"509","DOI":"10.1109\/INDIN.2007.4384809","article-title":"The input-output place-transition petri net class and Associated Tools","volume":"1","author":"gomes","year":"2007","journal-title":"Industrial Informatics 2007 5th IEEE International Conference on"},{"key":"3","first-page":"129","article-title":"Gedanken-experiments on sequential machines","volume":"34","author":"moore","year":"1956","journal-title":"Automata Studies"},{"key":"2","doi-asserted-by":"publisher","DOI":"10.1016\/0167-6423(87)90035-9"},{"key":"1","doi-asserted-by":"publisher","DOI":"10.1109\/5.558710"},{"key":"10","doi-asserted-by":"publisher","DOI":"10.1109\/HSI.2013.6577802"},{"key":"7","doi-asserted-by":"publisher","DOI":"10.1145\/356698.356702"},{"key":"6","doi-asserted-by":"publisher","DOI":"10.1109\/5.24143"},{"journal-title":"Kommunikation Mit Automaten (Communication with Automata)","year":"1962","author":"petri","key":"5"},{"key":"4","doi-asserted-by":"publisher","DOI":"10.1002\/j.1538-7305.1955.tb03788.x"},{"key":"9","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-12821-9_4"},{"key":"8","first-page":"5","article-title":"Modeling formalisms for embedded system design","author":"gomes","year":"2005","journal-title":"Embedded Systems Handbook"}],"event":{"name":"2014 7th International Conference on Human System Interactions (HSI)","start":{"date-parts":[[2014,6,16]]},"location":"Costa da Caparica","end":{"date-parts":[[2014,6,18]]}},"container-title":["2014 7th International Conference on Human System Interactions (HSI)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/6851791\/6860435\/06860486.pdf?arnumber=6860486","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,22]],"date-time":"2017-06-22T18:04:26Z","timestamp":1498154666000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6860486\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014,6]]},"references-count":13,"URL":"https:\/\/doi.org\/10.1109\/hsi.2014.6860486","relation":{},"subject":[],"published":{"date-parts":[[2014,6]]}}}