{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,5]],"date-time":"2025-02-05T17:40:23Z","timestamp":1738777223980,"version":"3.37.0"},"reference-count":7,"publisher":"Academy Publisher","issue":"10","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["JNW"],"DOI":"10.4304\/jnw.9.10.2743-2750","type":"journal-article","created":{"date-parts":[[2014,10,6]],"date-time":"2014-10-06T14:03:16Z","timestamp":1412604196000},"source":"Crossref","is-referenced-by-count":0,"title":["A Correctness Verification Approach of the BPEL Exception Handling CPN Model Based on Temporal Property"],"prefix":"10.4304","volume":"9","author":[{"given":"Hua","family":"Guan","sequence":"first","affiliation":[]},{"given":"Shi","family":"Ying","sequence":"additional","affiliation":[]},{"given":"Chunwei","family":"Wang","sequence":"additional","affiliation":[]}],"member":"2838","published-online":{"date-parts":[[2014,10,6]]},"reference":[{"key":"ref1","first-page":"89","article-title":"Model-checking Behavioral Specification of BPEL Applications.","volume-title":"Proc International Workshop on Web Languages and Formal Methods","author":"Nakajima","year":"2005","unstructured":"[1] Nakajima S. Model-checking Behavioral Specification of BPEL Applications. In: Proc. International Workshop on Web Languages and Formal Methods, 2005: 89-105."},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1145\/1035167.1035202"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.3724\/SP.J.1001.2010.03790"},{"issue":"6","key":"ref4","first-page":"986","article-title":"A Colored Petri net based on approach for BPEL modeling and verification.","volume":"37","author":"Peng","year":"2007","unstructured":"[5] Men Peng, Duan Zhen-Hua. A Colored Petri net based on approach for BPEL modeling and verification. Journal of Northwest University, 2007, 37(6): 986-990.","journal-title":"Journal of Northwest University"},{"issue":"2","key":"ref5","first-page":"115","article-title":"Reduction of Petri Net-based Workflow Model.","volume":"35","author":"Zhou","year":"2008","unstructured":"[6] Zhou Cong-Hua Liu Zhi-Feng. Reduction of Petri Net-based Workflow Model. Computer Science, 2008, 35(2): 115-119.","journal-title":"Computer Science"},{"issue":"1","key":"ref6","first-page":"150","article-title":"etc. Development Approach of Exception Handling Logic for BPEL Process Based on Coloured Petri Net.","volume":"40","author":"Hua","year":"2013","unstructured":"[9] Guan Hua, Ying Shil Jia Xiangyang, etc. Development Approach of Exception Handling Logic for BPEL Process Based on Coloured Petri Net. Computer Science, 2013, 40(1): 150-156","journal-title":"Computer Science"},{"key":"ref7","volume-title":"Kjeld H Mortensen Design\/CPN ASK-CTL Manual Version 0 9","author":"Christensen","year":"1996","unstructured":"[10] Soren Christensen, Kjeld H. Mortensen. Design\/CPN ASK-CTL Manual Version 0. 9, University of Aarhus Computer Science Department, 1996"}],"container-title":["Journal of Networks"],"original-title":[],"deposited":{"date-parts":[[2025,2,5]],"date-time":"2025-02-05T17:08:17Z","timestamp":1738775297000},"score":1,"resource":{"primary":{"URL":"https:\/\/dblp.org\/db\/journals\/jnw\/index.html"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014,10,6]]},"references-count":7,"journal-issue":{"issue":"10","published-online":{"date-parts":[[2014,10,6]]}},"URL":"https:\/\/doi.org\/10.4304\/jnw.9.10.2743-2750","relation":{},"ISSN":["1796-2056"],"issn-type":[{"type":"print","value":"1796-2056"}],"subject":[],"published":{"date-parts":[[2014,10,6]]}}}