{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T01:22:35Z","timestamp":1725499355751},"reference-count":10,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2007,4]]},"DOI":"10.1109\/cscwd.2007.4281534","type":"proceedings-article","created":{"date-parts":[[2007,8,8]],"date-time":"2007-08-08T15:59:31Z","timestamp":1186588771000},"page":"772-776","source":"Crossref","is-referenced-by-count":4,"title":["An Algorithm Combining Graph-Reduction and Graph-Search for Workflow Graphs Verification"],"prefix":"10.1109","author":[{"given":"Kai","family":"Lu","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Qiang","family":"Liu","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1142\/S0218126698000043"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/DEXA.2005.17"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1016\/S0306-4379(00)00012-0"},{"key":"ref6","first-page":"1","article-title":"Modelling and Enactment of Workflow Systems","author":"ellis","year":"1993","journal-title":"Application and Theory of Petri Nets (LNCS691)"},{"key":"ref5","doi-asserted-by":"crossref","first-page":"341","DOI":"10.1007\/BFb0020545","article-title":"Conceptual Modeling of Workflows","author":"casati","year":"1995","journal-title":"Proceedings of the 14 International Conference on Object-Oriented and Entity-Relationship Modelling"},{"key":"ref8","first-page":"407","article-title":"Verification of workflow nets","author":"aalst","year":"1997","journal-title":"Proceedings of the 18th International Conference on Application and Theory of Petri Nets"},{"key":"ref7","first-page":"18","article-title":"A General Model for Nested Transactional Workflows","author":"kuo","year":"1996","journal-title":"Proceedings of the International Workshop on Advanced Transaction Models and Architecture (ATMA '96)"},{"key":"ref2","first-page":"535","article-title":"An Alternative Way to Analyze Workflow Graphs","author":"aalst","year":"2002","journal-title":"Proceedings of the 14th International Conference on Advanced Information Systems Engineering(CAiSE’ 02)"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/HICSS.2002.994506"},{"journal-title":"The Workflow Reference Model WFMC TC00–1003","article-title":"Workflow Management Coalition","year":"1995","key":"ref1"}],"event":{"name":"2007 11th International Conference on Computer Supported Cooperative Work in Design","start":{"date-parts":[[2007,4,26]]},"location":"Melbourne, Australia","end":{"date-parts":[[2007,4,28]]}},"container-title":["2007 11th International Conference on Computer Supported Cooperative Work in Design"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/4281389\/4281390\/04281534.pdf?arnumber=4281534","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,17]],"date-time":"2017-06-17T21:49:42Z","timestamp":1497736182000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/4281534\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2007,4]]},"references-count":10,"URL":"https:\/\/doi.org\/10.1109\/cscwd.2007.4281534","relation":{},"subject":[],"published":{"date-parts":[[2007,4]]}}}