{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,28]],"date-time":"2025-10-28T18:28:45Z","timestamp":1761676125340},"reference-count":43,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"1","license":[{"start":{"date-parts":[[2015,1,1]],"date-time":"2015-01-01T00:00:00Z","timestamp":1420070400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"}],"funder":[{"name":"National Science Foundation of China (NSFC)","award":["61210004","61170015, and 61374148"],"award-info":[{"award-number":["61210004","61170015, and 61374148"]}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IEEE Trans. Automat. Sci. Eng."],"published-print":{"date-parts":[[2015,1]]},"DOI":"10.1109\/tase.2013.2285574","type":"journal-article","created":{"date-parts":[[2014,1,31]],"date-time":"2014-01-31T17:47:30Z","timestamp":1391190450000},"page":"295-308","source":"Crossref","is-referenced-by-count":30,"title":["A Polynomial Algorithm to Performance Analysis of Concurrent Systems Via Petri Nets and Ordinary Differential Equations"],"prefix":"10.1109","volume":"12","author":[{"given":"Zuohua","family":"Ding","sequence":"first","affiliation":[]},{"given":"Yuan","family":"Zhou","sequence":"additional","affiliation":[]},{"given":"MengChu","family":"Zhou","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"19","doi-asserted-by":"publisher","DOI":"10.1016\/j.tcs.2010.02.001"},{"key":"35","doi-asserted-by":"publisher","DOI":"10.1109\/TASE.2008.916747"},{"key":"17","author":"hairer","year":"1993","journal-title":"Solving Ordinary Differential Equations(I)(II) Nonstiff Problems"},{"key":"36","doi-asserted-by":"publisher","DOI":"10.1007\/BF00263928"},{"key":"18","doi-asserted-by":"publisher","DOI":"10.1093\/logcom\/10.1.3"},{"key":"33","doi-asserted-by":"publisher","DOI":"10.1016\/j.arcontrol.2004.05.002"},{"key":"15","doi-asserted-by":"publisher","DOI":"10.1504\/IJCAET.2010.035389"},{"key":"34","doi-asserted-by":"publisher","DOI":"10.1002\/9781118554609"},{"key":"16","doi-asserted-by":"publisher","DOI":"10.1016\/S1571-0661(04)80471-7"},{"key":"39","first-page":"96","article-title":"Applying Petri net reduction to support Ada tasking deadlock analysis","author":"tu","year":"1990","journal-title":"Proc 11th Int Conf Distrib Comput Syst"},{"key":"13","doi-asserted-by":"publisher","DOI":"10.1016\/j.ins.2008.11.025"},{"key":"14","first-page":"14","author":"grant","year":"2007","journal-title":"Theory of Ordinary Differential Equations"},{"key":"37","author":"teukolsky","year":"1993","journal-title":"Numerical Recipes in C++"},{"key":"11","doi-asserted-by":"publisher","DOI":"10.1109\/TSMCC.2007.896995"},{"key":"38","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2010.82"},{"key":"12","doi-asserted-by":"publisher","DOI":"10.1109\/TSMCA.2007.902622"},{"key":"21","doi-asserted-by":"publisher","DOI":"10.1109\/QEST.2005.12"},{"key":"20","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511569951"},{"key":"43","author":"zhou","year":"1998","journal-title":"Modeling Simulation and Control of Flexible Manufacturing Systems A Petri Net Approach"},{"key":"42","doi-asserted-by":"publisher","DOI":"10.1109\/TASE.2008.2009103"},{"key":"41","doi-asserted-by":"publisher","DOI":"10.1109\/TSMCA.2009.2037018"},{"key":"40","doi-asserted-by":"publisher","DOI":"10.1023\/A:1018954709174"},{"key":"22","doi-asserted-by":"crossref","first-page":"220","DOI":"10.1007\/11538394_15","article-title":"Transforming BPEL to Petri nets","volume":"3649","author":"hinz","year":"2005","journal-title":"Lecture Notes in Computer Science"},{"key":"23","author":"kleinrock","year":"1975","journal-title":"Queueing Systems Volume I Theory"},{"key":"24","author":"kleinrock","year":"1976","journal-title":"Queueing Systems Volume II Computer Applications"},{"key":"25","first-page":"1","article-title":"Performance equivalent analysis of workflow systems based on stochastic Petri net models","author":"lin","year":"2002","journal-title":"Proc 1st Int Conf Eng Deployment of Cooperative Inform Syst (EDCIS'02)"},{"key":"26","doi-asserted-by":"publisher","DOI":"10.1109\/TSMCA.2011.2157136"},{"key":"27","doi-asserted-by":"publisher","DOI":"10.1109\/TSMCA.2012.2204741"},{"key":"28","doi-asserted-by":"publisher","DOI":"10.1016\/0096-0551(85)90010-4"},{"key":"29","doi-asserted-by":"publisher","DOI":"10.1109\/TC.1982.1676110"},{"key":"3","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-322-86501-4"},{"key":"2","doi-asserted-by":"publisher","DOI":"10.1137\/1.9781611971392"},{"key":"10","first-page":"258","article-title":"Superposed generalized stochastic Petri nets: Definition and efficient solution","author":"donatelli","year":"1994","journal-title":"Proc 15th Int Conf Appl Theory of Petri Nets"},{"key":"1","doi-asserted-by":"publisher","DOI":"10.1142\/S0218126698000079"},{"key":"30","doi-asserted-by":"publisher","DOI":"10.1109\/32.21759"},{"key":"7","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-10669-9_5"},{"key":"6","first-page":"142","article-title":"SPNP: Stochastic Petri net package","author":"ciardo","year":"1989","journal-title":"Proc 5th Int Workshop Petri Nets and Performance Models"},{"key":"32","first-page":"435","article-title":"Petri nets fluidification revisited: Semantics and steady state","volume":"35","author":"recalde","year":"2001","journal-title":"J Euro Syst Autom APII-JESA"},{"key":"5","doi-asserted-by":"publisher","DOI":"10.2307\/3215235"},{"key":"31","doi-asserted-by":"publisher","DOI":"10.1109\/32.881717"},{"key":"4","doi-asserted-by":"publisher","DOI":"10.1016\/S0304-3975(97)00127-8"},{"key":"9","doi-asserted-by":"publisher","DOI":"10.1109\/TFUZZ.2010.2089633"},{"key":"8","author":"david","year":"2005","journal-title":"Discrete Continuous and Hybrid Petri Nets"}],"container-title":["IEEE Transactions on Automation Science and Engineering"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/8856\/7000614\/06684591.pdf?arnumber=6684591","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,1,12]],"date-time":"2022-01-12T16:32:19Z","timestamp":1642005139000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6684591\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015,1]]},"references-count":43,"journal-issue":{"issue":"1"},"URL":"https:\/\/doi.org\/10.1109\/tase.2013.2285574","relation":{},"ISSN":["1545-5955","1558-3783"],"issn-type":[{"value":"1545-5955","type":"print"},{"value":"1558-3783","type":"electronic"}],"subject":[],"published":{"date-parts":[[2015,1]]}}}