{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T13:00:31Z","timestamp":1725627631218},"reference-count":16,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012,10]]},"DOI":"10.1109\/iecon.2012.6389076","type":"proceedings-article","created":{"date-parts":[[2013,1,2]],"date-time":"2013-01-02T23:15:46Z","timestamp":1357168546000},"page":"6144-6150","source":"Crossref","is-referenced-by-count":4,"title":["Service-oriented SCADA and MES supporting Petri nets based orchestrated automation systems"],"prefix":"10.1109","author":[{"given":"Armando W.","family":"Colombo","sequence":"first","affiliation":[]},{"given":"J. Marco","family":"Mendes","sequence":"additional","affiliation":[]},{"given":"Paulo","family":"Leitao","sequence":"additional","affiliation":[]},{"given":"Stamatis","family":"Karnouskos","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"15","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-68899-0"},{"year":"2006","author":"box","key":"16"},{"key":"13","first-page":"1487","article-title":"High-Level Petri Nets control modules for service-oriented devices: A case study","author":"mendes","year":"2008","journal-title":"Proceedings of the 34th Annual Conference of IEEE Industrial Electronics (IECON'08)"},{"year":"0","key":"14"},{"key":"11","doi-asserted-by":"publisher","DOI":"10.1109\/SKG.2005.143"},{"key":"12","doi-asserted-by":"publisher","DOI":"10.1109\/87.799666"},{"key":"3","first-page":"452","article-title":"Software methodologies for the engineering of serviceoriented industrial automation: The continuum project","author":"mendes","year":"2009","journal-title":"Proceedings of the 33rd Annual IEEE International Conference on Computer Software and Applications (COMPSAC'09)"},{"key":"2","doi-asserted-by":"publisher","DOI":"10.1109\/IECON.2011.6119279"},{"year":"0","key":"1"},{"key":"10","first-page":"191","article-title":"A Petri net-based model for web service composition","author":"hamadi","year":"2003","journal-title":"Proceedings of the 14th Australasian Database Conference"},{"key":"7","doi-asserted-by":"publisher","DOI":"10.1007\/BF01305873"},{"key":"6","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-10669-9"},{"key":"5","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4615-3126-5"},{"key":"4","doi-asserted-by":"publisher","DOI":"10.1109\/5.24143"},{"journal-title":"Web Services Business Process Execution Language Version 2 0","year":"2007","key":"9"},{"key":"8","doi-asserted-by":"publisher","DOI":"10.1007\/BF01438228"}],"event":{"name":"IECON 2012 - 38th Annual Conference of IEEE Industrial Electronics","start":{"date-parts":[[2012,10,25]]},"location":"Montreal, QC, Canada","end":{"date-parts":[[2012,10,28]]}},"container-title":["IECON 2012 - 38th Annual Conference on IEEE Industrial Electronics Society"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/6373889\/6388505\/06389076.pdf?arnumber=6389076","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,3,22]],"date-time":"2017-03-22T13:29:58Z","timestamp":1490189398000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6389076\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012,10]]},"references-count":16,"URL":"https:\/\/doi.org\/10.1109\/iecon.2012.6389076","relation":{},"subject":[],"published":{"date-parts":[[2012,10]]}}}