{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,23]],"date-time":"2024-10-23T02:39:51Z","timestamp":1729651191210,"version":"3.28.0"},"reference-count":13,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2007,9]]},"DOI":"10.1109\/coase.2007.4341736","type":"proceedings-article","created":{"date-parts":[[2007,10,9]],"date-time":"2007-10-09T13:45:29Z","timestamp":1191937529000},"page":"800-805","source":"Crossref","is-referenced-by-count":0,"title":["Expression and Verification of Task Management in Collaborative Design"],"prefix":"10.1109","author":[{"given":"Yisheng","family":"An","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Renhou","family":"Li","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Anwar","family":"Mamat","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"13","first-page":"7","article-title":"A Petri net view on synchronous channels","volume":"56","author":"kummer","year":"1999","journal-title":"Petri Net Newsletter"},{"key":"11","article-title":"Modeling and Verification of Fuzzy Knowledge Base with Fuzzy Colored Petri Nets","author":"lin","year":"1996","journal-title":"IEEE International Conference on Systems"},{"key":"12","doi-asserted-by":"crossref","DOI":"10.1007\/3-540-45397-0_1","article-title":"Object-Oriented Modelling with Object Petri Nets","author":"lakos","year":"2001","journal-title":"Concurrent Object-Oriented Programming and Petri Nets"},{"key":"3","doi-asserted-by":"publisher","DOI":"10.1360\/jos161242"},{"key":"2","article-title":"Multidisciplinary Design Method Based on Parameter Coordination Model","volume":"27","author":"zhang","year":"2004","journal-title":"Chinese Journal of Computer"},{"key":"1","doi-asserted-by":"publisher","DOI":"10.1016\/S0165-0114(02)00524-9"},{"key":"10","doi-asserted-by":"publisher","DOI":"10.1109\/69.60794"},{"key":"7","doi-asserted-by":"publisher","DOI":"10.1016\/S0306-4379(00)00008-9"},{"key":"6","first-page":"1423","article-title":"Workflow Process Model Verification Using Reduction Method Based on PIT System","volume":"15","author":"zhao","year":"2004","journal-title":"Journal of Software"},{"journal-title":"Petri Nets for Systems Engineering A Guide to Modeling Verification and Applications","year":"2002","key":"5"},{"year":"0","key":"4"},{"key":"9","doi-asserted-by":"publisher","DOI":"10.1360\/crad20070217"},{"key":"8","doi-asserted-by":"publisher","DOI":"10.1016\/S0169-023X(01)00034-9"}],"event":{"name":"2007 IEEE International Conference on Automation Science and Engineering","start":{"date-parts":[[2007,9,22]]},"location":"Scottsdale, AZ, USA","end":{"date-parts":[[2007,9,25]]}},"container-title":["2007 IEEE International Conference on Automation Science and Engineering"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/4341639\/4341640\/04341736.pdf?arnumber=4341736","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,17]],"date-time":"2017-06-17T19:46:28Z","timestamp":1497728788000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/4341736\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2007,9]]},"references-count":13,"URL":"https:\/\/doi.org\/10.1109\/coase.2007.4341736","relation":{},"subject":[],"published":{"date-parts":[[2007,9]]}}}