{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,26]],"date-time":"2025-10-26T14:15:12Z","timestamp":1761488112300,"version":"3.44.0"},"reference-count":12,"publisher":"IEEE","license":[{"start":{"date-parts":[[2008,7,1]],"date-time":"2008-07-01T00:00:00Z","timestamp":1214870400000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2008,7,1]],"date-time":"2008-07-01T00:00:00Z","timestamp":1214870400000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2008,7]]},"DOI":"10.1109\/indin.2008.4618202","type":"proceedings-article","created":{"date-parts":[[2008,9,9]],"date-time":"2008-09-09T11:25:20Z","timestamp":1220959520000},"page":"750-755","source":"Crossref","is-referenced-by-count":10,"title":["Service-oriented process control using High-Level Petri Nets"],"prefix":"10.1109","author":[{"given":"J. Marco","family":"Mendes","sequence":"first","affiliation":[{"name":"Faculty of Engineering - University of Porto, Rua Dr., Roberto Frias s\/n, 4200-465 Portugal"}]},{"given":"Paulo","family":"Leitao","sequence":"additional","affiliation":[{"name":"Polytechnic Institute of Bragan\u00e7a, Quinta Sta, Apol\u00f3nia, Apartado 134, 5301-857 Portugal"}]},{"given":"Armando W.","family":"Colombo","sequence":"additional","affiliation":[{"name":"Schneider Electric GmbH, Steinheimer Str. 117, D-63500 Seligenstadt, Germany"}]},{"given":"Francisco","family":"Restivo","sequence":"additional","affiliation":[{"name":"Faculty of Engineering - University of Porto, Rua Dr., Roberto Frias s\/n, 4200-465 Portugal"}]}],"member":"263","reference":[{"key":"3","article-title":"service-orientated cross-layer infrastructure for distributed smart embedded devices","author":"taisch","year":"2007","journal-title":"2nd World Congress on Engineering Asset Management and the 4th International Conference on Condition Monitoring"},{"key":"2","doi-asserted-by":"publisher","DOI":"10.1109\/INDIN.2005.1560366"},{"key":"10","doi-asserted-by":"publisher","DOI":"10.1145\/1138486.1138504"},{"key":"1","doi-asserted-by":"publisher","DOI":"10.1504\/IJMTM.2000.001330"},{"key":"7","doi-asserted-by":"publisher","DOI":"10.1109\/WI-IATW.2006.25"},{"year":"0","key":"6"},{"year":"0","key":"5"},{"key":"4","doi-asserted-by":"publisher","DOI":"10.1109\/INDIN.2006.275631"},{"key":"9","doi-asserted-by":"publisher","DOI":"10.1109\/COEC.2003.1210275"},{"key":"8","doi-asserted-by":"publisher","DOI":"10.1109\/ANSS.2006.17"},{"key":"11","doi-asserted-by":"publisher","DOI":"10.1109\/5.24143"},{"key":"12","doi-asserted-by":"crossref","first-page":"146","DOI":"10.1007\/3-540-53863-1_24","article-title":"linear invariants in commutative high level petri nets","volume":"483","author":"couvreur","year":"1990","journal-title":"Lecture Notes in Computer Science"}],"event":{"name":"2008 6th IEEE International Conference on Industrial Informatics (INDIN)","start":{"date-parts":[[2008,7,13]]},"location":"Daejeon, Korea (South)","end":{"date-parts":[[2008,7,16]]}},"container-title":["2008 6th IEEE International Conference on Industrial Informatics"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/4603797\/4618046\/04618202.pdf?arnumber=4618202","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,8,29]],"date-time":"2025-08-29T17:40:54Z","timestamp":1756489254000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/4618202\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008,7]]},"references-count":12,"URL":"https:\/\/doi.org\/10.1109\/indin.2008.4618202","relation":{},"subject":[],"published":{"date-parts":[[2008,7]]}}}