{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,7]],"date-time":"2025-11-07T09:16:16Z","timestamp":1762506976139,"version":"3.28.0"},"reference-count":27,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2016,10]]},"DOI":"10.1109\/cist.2016.7805029","type":"proceedings-article","created":{"date-parts":[[2017,1,5]],"date-time":"2017-01-05T22:19:51Z","timestamp":1483654791000},"page":"128-132","source":"Crossref","is-referenced-by-count":1,"title":["A probabilistic method for business process verification: Reachability, Liveness and deadlock detection"],"prefix":"10.1109","author":[{"given":"Mohamed","family":"Naoum","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Outman","family":"El Hichami","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mohammed","family":"Al Achhab","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Badr Eddine","family":"El Mohajir","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1109\/RCIS.2013.6577723"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1147\/sj.462.0335"},{"journal-title":"Probability Theory Foundations Random Sequences","year":"1955","author":"lo\u00e8ve","key":"ref12"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1080\/17517575.2013.879211"},{"key":"ref14","doi-asserted-by":"crossref","first-page":"19","DOI":"10.1007\/978-3-540-31984-9_3","article-title":"Analyzing web service based business processes","author":"martens","year":"2005","journal-title":"Fundamental Approaches to Software Engineering"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1016\/j.datak.2007.06.019"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1007\/11596141_37"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1016\/j.entcs.2005.07.035"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1016\/j.knosys.2010.03.005"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1108\/14637151011018001"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.3991\/ijes.v3i3.4862"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1109\/NWESP.2005.77"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-69850-0_1"},{"key":"ref6","first-page":"220","article-title":"Transforming bpel to petri nets","author":"hinz","year":"2005","journal-title":"Business Process Management"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1305\/ndjfl\/1093870625"},{"journal-title":"Design and implementation of a bpmn to promela translator","year":"2012","author":"jim","key":"ref8"},{"journal-title":"BPMNDiffViz A Tool for BPMN Models Comparison","year":"2015","author":"ivanov","key":"ref7"},{"journal-title":"OMG BPMN 2 0 by Example","year":"2010","key":"ref2"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-23063-4_4"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-45100-3_10"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.20470\/jsi.v6i2.230"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1145\/2668930.2695527"},{"key":"ref21","first-page":"81","article-title":"Towards a taxonomy of process flexibility","volume":"344","author":"schonenberg","year":"2008","journal-title":"CAISE07 forum"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1145\/2801948.2802035"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1109\/APSCC.2008.208"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1108\/14637150910931479"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1109\/SOSE.2008.43"}],"event":{"name":"2016 4th IEEE International Colloquium on Information Science and Technology (CIST)","start":{"date-parts":[[2016,10,24]]},"location":"Tangier","end":{"date-parts":[[2016,10,26]]}},"container-title":["2016 4th IEEE International Colloquium on Information Science and Technology (CiSt)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/7786012\/7804840\/07805029.pdf?arnumber=7805029","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,5,8]],"date-time":"2020-05-08T01:50:36Z","timestamp":1588902636000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/7805029\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016,10]]},"references-count":27,"URL":"https:\/\/doi.org\/10.1109\/cist.2016.7805029","relation":{},"subject":[],"published":{"date-parts":[[2016,10]]}}}