{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,23]],"date-time":"2024-10-23T08:53:23Z","timestamp":1729673603465,"version":"3.28.0"},"reference-count":10,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013,4]]},"DOI":"10.1109\/icnsc.2013.6548816","type":"proceedings-article","created":{"date-parts":[[2013,7,9]],"date-time":"2013-07-09T14:57:54Z","timestamp":1373381874000},"page":"655-659","source":"Crossref","is-referenced-by-count":0,"title":["Petri net based resource modeling and analysis of workflows with task failures"],"prefix":"10.1109","author":[{"family":"Jiacun Wang","sequence":"first","affiliation":[]}],"member":"263","reference":[{"key":"3","first-page":"243","article-title":"Resource-constrained workflow ntes","volume":"71","author":"van hee","year":"2005","journal-title":"Fundamenta Informaticae"},{"key":"2","doi-asserted-by":"publisher","DOI":"10.1109\/TSMCA.2003.820590"},{"key":"1","first-page":"407","article-title":"Verification of workflow nets","author":"aalst der van","year":"1997","journal-title":"Proceedings of Application and Theory of Petri Nets Volume 1248 of Lecture Notes in Computer Science"},{"journal-title":"System Modeling and Control with Resource-Oriented Petri Nets","year":"2009","author":"wu","key":"10"},{"key":"7","article-title":"Resource modeling and analysis for workflows: A Petri net approach","author":"wang","year":"2012","journal-title":"Proceedings of IEEE International Conference on Software Engineering and Knowledge Engineering San Francisco"},{"key":"6","doi-asserted-by":"crossref","first-page":"270","DOI":"10.1109\/TSMCC.2009.2009125","article-title":"Emergency response workflow resource requirements modeling and analysis","volume":"39","author":"wang","year":"2009","journal-title":"IEEE Transactions on Systems Man and Cybernetics Part C"},{"year":"0","key":"5"},{"key":"4","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-13675-7_1"},{"key":"9","article-title":"Resource-Oriented Petri Nets in Deadlock Avoidance of AGV Systems","author":"wu","year":"2001","journal-title":"Proceedings of the 2001 IEEE International Conference on Robotics & Automation"},{"key":"8","doi-asserted-by":"publisher","DOI":"10.1109\/TSMCA.2008.2001080"}],"event":{"name":"2013 IEEE 10th International Conference on Networking, Sensing and Control (ICNSC 2013)","start":{"date-parts":[[2013,4,10]]},"location":"Evry","end":{"date-parts":[[2013,4,12]]}},"container-title":["2013 10th IEEE INTERNATIONAL CONFERENCE ON NETWORKING, SENSING AND CONTROL (ICNSC)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/6530812\/6548700\/06548816.pdf?arnumber=6548816","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,21]],"date-time":"2017-06-21T15:58:09Z","timestamp":1498060689000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6548816\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013,4]]},"references-count":10,"URL":"https:\/\/doi.org\/10.1109\/icnsc.2013.6548816","relation":{},"subject":[],"published":{"date-parts":[[2013,4]]}}}