{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,26]],"date-time":"2025-10-26T14:27:17Z","timestamp":1761488837188},"reference-count":9,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2011,11]]},"DOI":"10.1109\/iecon.2011.6119924","type":"proceedings-article","created":{"date-parts":[[2012,1,6]],"date-time":"2012-01-06T16:40:40Z","timestamp":1325868040000},"page":"3776-3781","source":"Crossref","is-referenced-by-count":9,"title":["From UML state machines to Petri nets: History attribute translation strategies"],"prefix":"10.1109","author":[{"given":"Rui","family":"Pais","sequence":"first","affiliation":[]},{"given":"Luis","family":"Gomes","sequence":"additional","affiliation":[]},{"given":"Joao Paulo","family":"Barros","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"3","doi-asserted-by":"publisher","DOI":"10.1007\/11562436_5"},{"journal-title":"Unified Modeling Language Superstructure","year":"2010","key":"2"},{"key":"1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-19170-1_25"},{"key":"7","doi-asserted-by":"publisher","DOI":"10.1007\/s12544-010-0030-5"},{"key":"6","article-title":"Deadlock analysis in statecharts","author":"karatkevich","year":"2003","journal-title":"Forum Specificat Design Lang"},{"key":"5","doi-asserted-by":"publisher","DOI":"10.1145\/584369.584376"},{"key":"4","doi-asserted-by":"publisher","DOI":"10.1109\/ENICS.2008.19"},{"key":"9","doi-asserted-by":"publisher","DOI":"10.1109\/IECON.2010.5675332"},{"key":"8","doi-asserted-by":"crossref","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":"2007 5th IEEE International Conference on Industrial Informatics INDIN"}],"event":{"name":"IECON 2011 - 37th Annual Conference of IEEE Industrial Electronics","start":{"date-parts":[[2011,11,7]]},"location":"Melbourne, Vic, Australia","end":{"date-parts":[[2011,11,10]]}},"container-title":["IECON 2011 - 37th Annual Conference of the IEEE Industrial Electronics Society"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/6109934\/6119266\/06119924.pdf?arnumber=6119924","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,20]],"date-time":"2017-06-20T08:24:42Z","timestamp":1497947082000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6119924\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011,11]]},"references-count":9,"URL":"https:\/\/doi.org\/10.1109\/iecon.2011.6119924","relation":{},"subject":[],"published":{"date-parts":[[2011,11]]}}}