{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,7]],"date-time":"2024-09-07T18:33:13Z","timestamp":1725733993837},"reference-count":9,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2010,4]]},"DOI":"10.1109\/cscwd.2010.5471973","type":"proceedings-article","created":{"date-parts":[[2010,6,4]],"date-time":"2010-06-04T14:12:22Z","timestamp":1275660742000},"page":"213-218","source":"Crossref","is-referenced-by-count":2,"title":["Test coverage for collaborative workflow application based on Petri Net"],"prefix":"10.1109","author":[{"given":"Zhnenyu","family":"Liu","sequence":"first","affiliation":[]},{"given":"Tiejiang","family":"Liu","sequence":"additional","affiliation":[]},{"given":"Lizhi","family":"Cai","sequence":"additional","affiliation":[]},{"given":"Genxing","family":"Yang","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref4","first-page":"407","article-title":"Verification of workflow nets","author":"aalst","year":"0","journal-title":"Proceedings of the 18th International Conference on Application and Theory of Petri Nets"},{"journal-title":"Petri Net Theory and the Modeling of Systems","year":"1981","author":"peterson","key":"ref3"},{"journal-title":"Random Petri Net and System Performance Evaluation [M]","year":"2000","author":"lin","key":"ref6"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/HICSS.2003.1174900"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/CSCWD.2007.4281534"},{"journal-title":"Workflow management technology[M]","year":"2001","author":"fan","key":"ref7"},{"journal-title":"The Workflow Reference Model","article-title":"Workflow Management Coalition. WFMC-TC-1003,19_Jan-95,1-1","year":"1995","key":"ref2"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/CSCWD.2007.4281545"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1016\/S0377-2217(00)00292-7"}],"event":{"name":"2010 14th International Conference on Computer Supported Cooperative Work in Design (CSCWD)","start":{"date-parts":[[2010,4,14]]},"location":"Shanghai, China","end":{"date-parts":[[2010,4,16]]}},"container-title":["The 2010 14th International Conference on Computer Supported Cooperative Work in Design"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/5466608\/5471868\/05471973.pdf?arnumber=5471973","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,3,19]],"date-time":"2017-03-19T01:58:22Z","timestamp":1489888702000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/5471973\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010,4]]},"references-count":9,"URL":"https:\/\/doi.org\/10.1109\/cscwd.2010.5471973","relation":{},"subject":[],"published":{"date-parts":[[2010,4]]}}}