{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,2]],"date-time":"2026-03-02T09:32:28Z","timestamp":1772443948006,"version":"3.50.1"},"reference-count":17,"publisher":"IEEE","license":[{"start":{"date-parts":[[2019,9,1]],"date-time":"2019-09-01T00:00:00Z","timestamp":1567296000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"},{"start":{"date-parts":[[2019,9,1]],"date-time":"2019-09-01T00:00:00Z","timestamp":1567296000000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2019,9,1]],"date-time":"2019-09-01T00:00:00Z","timestamp":1567296000000},"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":[[2019,9]]},"DOI":"10.1109\/idaacs.2019.8924400","type":"proceedings-article","created":{"date-parts":[[2019,12,6]],"date-time":"2019-12-06T10:26:29Z","timestamp":1575627989000},"page":"319-323","source":"Crossref","is-referenced-by-count":13,"title":["Web Service Interaction Modeling with Colored Petri Nets"],"prefix":"10.1109","author":[{"given":"Aleksandr","family":"Gozhyj","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Irina","family":"Kalinina","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Victor","family":"Gozhyj","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Victoria","family":"Vysotska","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref10","first-page":"905","article-title":"A web service composition modeling and evaluation method used Petri net","author":"feng","year":"0","journal-title":"Proc APWeb Workshops"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-30208-7_31"},{"key":"ref12","first-page":"247","article-title":"Modeling and Composing Service-based and Reference Process-based Multi-enterprise Processes","volume":"1789","author":"schuster","year":"2000","journal-title":"Lecture Notes in Computer Science"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1007\/s100090050021"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1109\/NPC.2007.55"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1007\/s11741-008-0409-2"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1109\/DT.2016.7557161"},{"key":"ref17","first-page":"173","article-title":"Assurance case driven design for Internet of Things","volume":"4","author":"sklyar","year":"2016","journal-title":"WSEAS Transactions on Computer Research"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/5.24143"},{"key":"ref3","author":"petri","year":"1962","journal-title":"Kommunikation Mit Automaten (in German)"},{"key":"ref6","first-page":"191","article-title":"A Petri net based-model for web service composition","author":"hamadi","year":"2003","journal-title":"Proc the 14th Australasian Database Conference Adelaide"},{"key":"ref5","doi-asserted-by":"crossref","first-page":"109","DOI":"10.1016\/0304-3975(81)90113-4","article-title":"System modeling with high level Petri nets","volume":"13","author":"genrich","year":"1981","journal-title":"Theorical Computer Science"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1007\/s11741-008-0409-2"},{"key":"ref7","doi-asserted-by":"crossref","first-page":"47","DOI":"10.1145\/1096967.1096977","article-title":"Verifying web services composition based on hierarchical colored petri nets","author":"yang","year":"2005","journal-title":"Proceedings of the first international workshop on Interoperability of heterogeneous information systems - IHIS 05 IHIS 05"},{"key":"ref2","author":"erl","year":"2007","journal-title":"SOA Principles of Service Design"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1109\/WISE.2003.1254461"},{"key":"ref9","article-title":"Coloured Petri nets a high level language for system design and analysis","author":"jensen","year":"1990","journal-title":"Lecture Notes in Computer Science 483 Advances in Petri Nets"}],"event":{"name":"2019 10th IEEE International Conference on Intelligent Data Acquisition and Advanced Computing Systems: Technology and Applications (IDAACS)","location":"Metz, France","start":{"date-parts":[[2019,9,18]]},"end":{"date-parts":[[2019,9,21]]}},"container-title":["2019 10th IEEE International Conference on Intelligent Data Acquisition and Advanced Computing Systems: Technology and Applications (IDAACS)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/8908800\/8924230\/08924400.pdf?arnumber=8924400","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,7,17]],"date-time":"2022-07-17T21:46:54Z","timestamp":1658094414000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/8924400\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019,9]]},"references-count":17,"URL":"https:\/\/doi.org\/10.1109\/idaacs.2019.8924400","relation":{},"subject":[],"published":{"date-parts":[[2019,9]]}}}