{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,30]],"date-time":"2024-10-30T03:15:40Z","timestamp":1730258140012,"version":"3.28.0"},"reference-count":17,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2009,10]]},"DOI":"10.1109\/icsmc.2009.5346601","type":"proceedings-article","created":{"date-parts":[[2009,12,10]],"date-time":"2009-12-10T19:44:31Z","timestamp":1260474271000},"page":"2843-2847","source":"Crossref","is-referenced-by-count":8,"title":["Qualitative analysis of WorkFlow nets using linear logic: Soundness verification"],"prefix":"10.1109","author":[{"given":"Ligia Maria Soares","family":"Passos","sequence":"first","affiliation":[]},{"given":"Stephane","family":"Julia","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"journal-title":"A linear logic prover (llprover)","year":"1997","author":"tamura","key":"17"},{"key":"15","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-48754-9_20"},{"key":"16","doi-asserted-by":"publisher","DOI":"10.1007\/BF00885763"},{"key":"13","volume":"31","author":"girault","year":"1997","journal-title":"A logic for Petri nets JESA"},{"year":"0","key":"14"},{"year":"0","key":"11"},{"key":"12","article-title":"Centralized architecture for real time scheduling of batch systems","author":"soares","year":"2004","journal-title":"Proceedings of the 11th IFAC Symposium on Information Control Problems in Manufacturing (INCOM 2004)"},{"key":"3","first-page":"407","article-title":"Verification of workflow nets","author":"van der aalst","year":"1997","journal-title":"ICATPN '97 Proceedings of the 18th International Conference on Application and Theory of Petri Nets"},{"key":"2","doi-asserted-by":"publisher","DOI":"10.1109\/5.24143"},{"journal-title":"Workflow Management Models Methods and Systems","year":"2004","author":"van der aalst","key":"1"},{"key":"10","doi-asserted-by":"publisher","DOI":"10.1109\/PNPM.1999.796567"},{"key":"7","doi-asserted-by":"publisher","DOI":"10.1142\/S0218126698000043"},{"key":"6","doi-asserted-by":"publisher","DOI":"10.1016\/j.future.2005.02.003"},{"key":"5","doi-asserted-by":"publisher","DOI":"10.1023\/B:ITEM.0000031583.16306.0f"},{"journal-title":"Computing Science Reports\/23","article-title":"Structural characterizations of sound workflow nets","year":"1996","key":"4"},{"key":"9","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(87)90045-4"},{"key":"8","doi-asserted-by":"publisher","DOI":"10.1016\/0022-0000(79)90050-3"}],"event":{"name":"2009 IEEE International Conference on Systems, Man and Cybernetics. SMC 2009","start":{"date-parts":[[2009,10,11]]},"location":"San Antonio, TX","end":{"date-parts":[[2009,10,14]]}},"container-title":["2009 IEEE International Conference on Systems, Man and Cybernetics"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/5340904\/5345886\/05346601.pdf?arnumber=5346601","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,3,19]],"date-time":"2017-03-19T02:32:27Z","timestamp":1489890747000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/5346601\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009,10]]},"references-count":17,"URL":"https:\/\/doi.org\/10.1109\/icsmc.2009.5346601","relation":{},"subject":[],"published":{"date-parts":[[2009,10]]}}}