{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,9,27]],"date-time":"2026-09-27T11:29:16Z","timestamp":1790508556510,"version":"4.1.0"},"reference-count":21,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2016,6]]},"DOI":"10.1109\/rcis.2016.7549308","type":"proceedings-article","created":{"date-parts":[[2016,8,25]],"date-time":"2016-08-25T21:04:18Z","timestamp":1472159058000},"page":"1-6","source":"Crossref","is-referenced-by-count":1,"title":["An approach and a tool for verification of service-based inter-organizational workflows"],"prefix":"10.1109","author":[{"given":"Boukhedouam","family":"Saida","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Zergui","family":"Maroua","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Alimazighi","family":"Zaia","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1007\/s00165-010-0161-4"},{"key":"ref11","doi-asserted-by":"crossref","first-page":"23","DOI":"10.18255\/1818-1015-2013-4-23-40","article-title":"On the decidability of soundness of workflow nets with an unbounded resource","volume":"20","author":"bashkin","year":"2013","journal-title":"Model Anal Inform Sist"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1177\/0142331208095676"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1016\/j.eswa.2014.03.005"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.7763\/IJCEE.2014.V6.804"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1007\/11538394_15"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1007\/11596141_37"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1016\/j.scico.2007.03.002"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1109\/TNSM.2013.111113.120379"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1109\/QSIC.2009.20"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1504\/IJBIS.2015.069726"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1287\/isre.11.1.17.11787"},{"key":"ref6","first-page":"161","article-title":"Workflow verification: Finding control-flow errors using Petri-net-based techniques","author":"van der aalst","year":"2007","journal-title":"Business Process Management Models Techniques and Empirical Studies"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.2478\/v10006-010-0026-2"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1080\/17517575.2011.617472"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/RCIS.2013.6577722"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1142\/S0218126698000043"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-63139-9_48"},{"key":"ref9","article-title":"Some complexity results for the soundness problem of workflow nets","author":"liu","year":"2013","journal-title":"IEEE computer society digital library IEEE Computer Society"},{"key":"ref20","article-title":"CPN-Based verification of web service composition model","author":"wang","year":"2010","journal-title":"Proc Int Conf Information Technology Research and Education"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1109\/NPC.2007.55"}],"event":{"name":"2016 IEEE Tenth International Conference on Research Challenges in Information Science (RCIS)","location":"Grenoble, France","start":{"date-parts":[[2016,6,1]]},"end":{"date-parts":[[2016,6,3]]}},"container-title":["2016 IEEE Tenth International Conference on Research Challenges in Information Science (RCIS)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/7541913\/7549273\/07549308.pdf?arnumber=7549308","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,9,12]],"date-time":"2019-09-12T23:40:14Z","timestamp":1568331614000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/7549308\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016,6]]},"references-count":21,"URL":"https:\/\/doi.org\/10.1109\/rcis.2016.7549308","relation":{},"subject":[],"published":{"date-parts":[[2016,6]]}}}