{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,21]],"date-time":"2026-02-21T07:17:19Z","timestamp":1771658239412,"version":"3.50.1"},"reference-count":46,"publisher":"Zhejiang University Press","issue":"7","license":[{"start":{"date-parts":[[2012,7,1]],"date-time":"2012-07-01T00:00:00Z","timestamp":1341100800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["J. Zhejiang Univ. - Sci. C"],"published-print":{"date-parts":[[2012,7]]},"DOI":"10.1631\/jzus.c1100364","type":"journal-article","created":{"date-parts":[[2012,7,5]],"date-time":"2012-07-05T07:43:39Z","timestamp":1341474219000},"page":"483-509","source":"Crossref","is-referenced-by-count":4,"title":["Verification of workflow nets with transition conditions"],"prefix":"10.1631","volume":"13","author":[{"given":"Zhao-xia","family":"Wang","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jian-min","family":"Wang","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Xiao-chen","family":"Zhu","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Li-jie","family":"Wen","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"635","published-online":{"date-parts":[[2012,7,6]]},"reference":[{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1109\/tse.1976.233817"},{"key":"ref2","volume-title":"SAP R\/3 Business Blueprint: Understanding the Business Process Reference Model","author":"Curran","year":"1998"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1145\/115372.115320"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1142\/s0218843004000973"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1007\/11817963_11"},{"key":"ref6","volume-title":"The Yices SMT Solver","author":"Dutertre","year":"2006b"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-72909-9_46"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1016\/j.dam.2005.05.008"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-27813-9_14"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-63166-6_10"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-03848-8_15"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-19394-1_13"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1016\/s0022-0000(69)80011-5"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-36577-x_40"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1145\/360248.360252"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-16373-9_24"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1609\/aimag.v13i1.976"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1007\/bfb0032687"},{"key":"ref19","first-page":"12","article-title":"On compatibility of Web services","volume":"65","author":"Martens","year":"2003","journal-title":"Petri Net Newslett."},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-31984-9_3"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.2139\/ssrn.1328165"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1145\/1805286.1805290"},{"key":"ref23","volume-title":"Introduction to the Theory of Programming Languages","author":"Meyer","year":"1990"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1109\/scc.2007.22"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1109\/5.24143"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1007\/11948148_25"},{"key":"ref27","article-title":"Threatened by a Great Opportunity: Disruptive Innovation in Formal Verification","volume-title":"Federated Logic Conf.","author":"Rushby","year":"2006"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-36577-x_35"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-13094-6_40"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1016\/j.is.2011.04.004"},{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.1287\/isre.1060.0105"},{"key":"ref32","first-page":"19","article-title":"Workflow Soundness and Data Abstraction: Some Negative Results and Some Open Issues","volume-title":"Int. Workshop on Abstractions for Petri Nets and Other Models of Concurrency","author":"Tr\u010dka","year":"2009"},{"key":"ref33","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-02144-2_34"},{"key":"ref34","volume-title":"Foundations of Constraint Satisfaction","author":"Tsang","year":"1993"},{"key":"ref35","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-63139-9_48"},{"key":"ref36","doi-asserted-by":"publisher","DOI":"10.1142\/s0218126698000043"},{"key":"ref37","doi-asserted-by":"crossref","first-page":"161","DOI":"10.1007\/978-1-4615-5499-8_10","volume-title":"Information and Process Integration in Enterprises: Rethinking Documents","author":"Van Der Aalst","year":"1998b"},{"key":"ref38","first-page":"9","article-title":"ProM: the Process Mining Toolkit","volume-title":"Proc. Business Process Management Demonstration Track","author":"Van Der Aalst","year":"2009"},{"key":"ref39","doi-asserted-by":"publisher","DOI":"10.7551\/mitpress\/7301.001.0001"},{"key":"ref40","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-44919-1_22"},{"key":"ref41","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-27793-4_12"},{"key":"ref42","volume-title":"Verification of WF-Nets","author":"Verbeek","year":"2004"},{"key":"ref43","doi-asserted-by":"publisher","DOI":"10.1093\/comjnl\/44.4.246"},{"key":"ref44","first-page":"182","article-title":"Deriving Canonical Business Object Operation Nets from Process Models","volume-title":"Proc. 11th Int. Conf. on Enterprise Information Systems","author":"Wang","year":"2009"},{"key":"ref45","doi-asserted-by":"publisher","DOI":"10.1007\/11841760_28"},{"key":"ref46","doi-asserted-by":"publisher","DOI":"10.1007\/s10270-010-0149-9"}],"container-title":["Journal of Zhejiang University SCIENCE C"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1631\/jzus.C1100364.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1631\/jzus.C1100364\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1631\/jzus.C1100364","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,2,21]],"date-time":"2026-02-21T06:56:44Z","timestamp":1771657004000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1631\/jzus.C1100364"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012,7]]},"references-count":46,"journal-issue":{"issue":"7","published-print":{"date-parts":[[2012,7]]}},"alternative-id":["1327"],"URL":"https:\/\/doi.org\/10.1631\/jzus.c1100364","relation":{},"ISSN":["1869-1951","1869-196X"],"issn-type":[{"value":"1869-1951","type":"print"},{"value":"1869-196X","type":"electronic"}],"subject":[],"published":{"date-parts":[[2012,7]]}}}