{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,30]],"date-time":"2024-10-30T05:55:46Z","timestamp":1730267746621,"version":"3.28.0"},"reference-count":14,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013,7]]},"DOI":"10.1109\/indin.2013.6622932","type":"proceedings-article","created":{"date-parts":[[2013,10,17]],"date-time":"2013-10-17T17:49:48Z","timestamp":1382032188000},"page":"480-487","source":"Crossref","is-referenced-by-count":5,"title":["A formal engineering approach for control and monitoring systems in a service-oriented environment"],"prefix":"10.1109","author":[{"given":"Kevin","family":"Nagorny","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Robert","family":"Harrison","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Armando Walter","family":"Colombo","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Gerhard","family":"Kreutz","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"13","first-page":"374","article-title":"Petri nets and flexible manufacturing","author":"silva","year":"1988","journal-title":"Advances in Petri Nets 1989 Covers the 9th European Workshop on Applications and Theory in Petri Nets-selected Papers"},{"year":"0","key":"14"},{"doi-asserted-by":"publisher","key":"11","DOI":"10.1109\/5.24143"},{"doi-asserted-by":"publisher","key":"12","DOI":"10.1109\/ICIT.2013.6505978"},{"year":"2010","journal-title":"Wbf Book Series World Batch Forum","key":"3"},{"year":"0","key":"2"},{"doi-asserted-by":"publisher","key":"10","DOI":"10.1109\/IECON.2008.4758173"},{"year":"0","key":"1"},{"key":"7","first-page":"1570","article-title":"Collaborative automation from rigid coupling towards dynamic reconfigurable production systems","volume":"16","author":"harrison","year":"0","journal-title":"world congress"},{"year":"0","key":"6"},{"key":"5","first-page":"65","article-title":"Towards the factory of the future: A service-oriented cross-layer infrastructure. ICT shaping the world: A scientific view","author":"colombo","year":"2009","journal-title":"European Telecommun Standards Inst"},{"year":"2010","journal-title":"Factory Information Systems in Electronics Production","key":"4"},{"doi-asserted-by":"publisher","key":"9","DOI":"10.1007\/BF01305873"},{"doi-asserted-by":"publisher","key":"8","DOI":"10.1016\/j.compind.2009.09.001"}],"event":{"name":"2013 IEEE 11th International Conference on Industrial Informatics (INDIN)","start":{"date-parts":[[2013,7,29]]},"location":"Bochum, Germany","end":{"date-parts":[[2013,7,31]]}},"container-title":["2013 11th IEEE International Conference on Industrial Informatics (INDIN)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/6599026\/6622844\/06622932.pdf?arnumber=6622932","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,3,22]],"date-time":"2017-03-22T16:59:52Z","timestamp":1490201992000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6622932\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013,7]]},"references-count":14,"URL":"https:\/\/doi.org\/10.1109\/indin.2013.6622932","relation":{},"subject":[],"published":{"date-parts":[[2013,7]]}}}