{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,8,14]],"date-time":"2024-08-14T06:00:12Z","timestamp":1723615212019},"reference-count":13,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013,6]]},"DOI":"10.1109\/hsi.2013.6577802","type":"proceedings-article","created":{"date-parts":[[2013,8,28]],"date-time":"2013-08-28T21:11:23Z","timestamp":1377724283000},"source":"Crossref","is-referenced-by-count":3,"title":["Events for human-system interaction modeling with IOPT Petri nets"],"prefix":"10.1109","author":[{"given":"Rogerio","family":"Campos-Rebelo","sequence":"first","affiliation":[]},{"given":"Aniko","family":"Costa","sequence":"additional","affiliation":[]},{"given":"Lui","family":"Gomes","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"13","doi-asserted-by":"publisher","DOI":"10.1109\/INDIN.2009.5195804"},{"key":"11","doi-asserted-by":"publisher","DOI":"10.1109\/TII.2005.844433"},{"key":"12","doi-asserted-by":"publisher","DOI":"10.1109\/INDIN.2004.1417350"},{"key":"3","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-10669-9"},{"key":"2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-18216-7"},{"key":"1","doi-asserted-by":"publisher","DOI":"10.1016\/0167-6423(87)90035-9"},{"key":"10","first-page":"122173","article-title":"Place\/transition petri nets","author":"desel","year":"1998","journal-title":"Lectures on Petri Nets I Basic Models"},{"key":"7","author":"frey","year":"2002","journal-title":"Design and formal analysis of Petri net based logic control algorithms"},{"key":"6","first-page":"57","article-title":"Editing, visualizing, and implementing signal interpreted petri nets","author":"frey","year":"2000","journal-title":"Proceedings of the AWPN 2000"},{"key":"5","doi-asserted-by":"crossref","first-page":"374","DOI":"10.1007\/3-540-08921-7_85","article-title":"Synchronized petri nets: A model for the description of non-autonomous sytems","author":"moalla","year":"1978","journal-title":"Mathematical Foundations of Computer Science 1978"},{"key":"4","author":"david","year":"1992","journal-title":"Petri Nets and Grafcet Tools for Modelling Discrete Event Systems"},{"key":"9","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-37291-9_25"},{"key":"8","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","author":"gomes","year":"2007","journal-title":"Industrial Informatics 2007 5th IEEE International Conference on"}],"event":{"name":"2013 6th International Conference on Human System Interactions (HSI)","location":"Sopot, Poland","start":{"date-parts":[[2013,6,6]]},"end":{"date-parts":[[2013,6,8]]}},"container-title":["2013 6th International Conference on Human System Interactions (HSI)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/6573228\/6577789\/06577802.pdf?arnumber=6577802","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,21]],"date-time":"2017-06-21T20:53:16Z","timestamp":1498078396000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6577802\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013,6]]},"references-count":13,"URL":"https:\/\/doi.org\/10.1109\/hsi.2013.6577802","relation":{},"subject":[],"published":{"date-parts":[[2013,6]]}}}