{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,21]],"date-time":"2026-07-21T14:29:44Z","timestamp":1784644184045,"version":"3.55.0"},"reference-count":72,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"3","license":[{"start":{"date-parts":[[2024,7,1]],"date-time":"2024-07-01T00:00:00Z","timestamp":1719792000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"},{"start":{"date-parts":[[2024,7,1]],"date-time":"2024-07-01T00:00:00Z","timestamp":1719792000000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2024,7,1]],"date-time":"2024-07-01T00:00:00Z","timestamp":1719792000000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"funder":[{"name":"National Key Research and Development Program of China","award":["2022YFB4501700"],"award-info":[{"award-number":["2022YFB4501700"]}]},{"name":"Shanghai Science and Technology Innovation Action Plan Project","award":["22511100700"],"award-info":[{"award-number":["22511100700"]}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IEEE Trans. Automat. Sci. Eng."],"published-print":{"date-parts":[[2024,7]]},"DOI":"10.1109\/tase.2023.3272983","type":"journal-article","created":{"date-parts":[[2023,5,11]],"date-time":"2023-05-11T01:32:24Z","timestamp":1683768744000},"page":"3012-3024","source":"Crossref","is-referenced-by-count":10,"title":["Probabilistic Reachability Prediction of Unbounded Petri Nets: A Machine Learning Method"],"prefix":"10.1109","volume":"21","author":[{"ORCID":"https:\/\/orcid.org\/0000-0001-9318-2824","authenticated-orcid":false,"given":"Hongda","family":"Qi","sequence":"first","affiliation":[{"name":"Key Laboratory of Embedded System and Service Computing, Ministry of Education, and the National (Province-Ministry Joint) Collaborative Innovation Center for Financial Network Security, Tongji University, Shanghai, China"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-2944-2665","authenticated-orcid":false,"given":"Mingjian","family":"Guang","sequence":"additional","affiliation":[{"name":"Key Laboratory of Embedded System and Service Computing, Ministry of Education, and the National (Province-Ministry Joint) Collaborative Innovation Center for Financial Network Security, Tongji University, Shanghai, China"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-7185-9731","authenticated-orcid":false,"given":"Junli","family":"Wang","sequence":"additional","affiliation":[{"name":"Key Laboratory of Embedded System and Service Computing, Ministry of Education, and the National (Province-Ministry Joint) Collaborative Innovation Center for Financial Network Security, Tongji University, Shanghai, China"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-1917-9616","authenticated-orcid":false,"given":"Chungang","family":"Yan","sequence":"additional","affiliation":[{"name":"Key Laboratory of Embedded System and Service Computing, Ministry of Education, and the National (Province-Ministry Joint) Collaborative Innovation Center for Financial Network Security, Tongji University, Shanghai, China"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-0637-9317","authenticated-orcid":false,"given":"Changjun","family":"Jiang","sequence":"additional","affiliation":[{"name":"Key Laboratory of Embedded System and Service Computing, Ministry of Education, and the National (Province-Ministry Joint) Collaborative Innovation Center for Financial Network Security, Tongji University, Shanghai, China"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"263","reference":[{"key":"ref1","volume-title":"Behavior Theory and Applications of Petri Net","author":"Jiang","year":"2003"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2020.3024274"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/TASE.2013.2290314"},{"key":"ref4","volume-title":"A PN Machine Theory of Discrete Event Dynamic System","author":"Jiang","year":"2000"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1007\/s10626-016-0225-6"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1109\/TASE.2020.3009984"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/TASE.2019.2944299"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/JAS.2020.1003003"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/JAS.2021.1003964"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1109\/TASE.2018.2830385"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(77)90014-7"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/5.24143"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1109\/TSMCA.2003.820590"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1109\/TASE.2022.3163854"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1109\/JAS.2020.1003207"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1109\/21.310530"},{"issue":"1","key":"ref17","first-page":"23","article-title":"Conversion algorithm of bounded Petri nets","volume":"3","author":"Wu","year":"1992","journal-title":"J. Softw."},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1109\/TSMC.2014.2298379"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1109\/mwscas.1989.101877"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1109\/JAS.2020.1003096"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1109\/TASE.2022.3169810"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1002\/9781119619727"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1142\/3376"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2016.2574120"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1145\/3422822"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-24664-0_8"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1016\/j.ejor.2005.10.060"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-16952-6_17"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1109\/ISCAS.2010.5537243"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1109\/HICSS.1997.663163"},{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.1145\/120807.120812"},{"key":"ref32","doi-asserted-by":"publisher","DOI":"10.1109\/32.286423"},{"key":"ref33","doi-asserted-by":"publisher","DOI":"10.1016\/S0022-0000(69)80011-5"},{"key":"ref34","doi-asserted-by":"publisher","DOI":"10.1093\/comjnl\/25.1.129"},{"key":"ref35","first-page":"1","article-title":"The general term reachability forest of Petri nets","volume-title":"Proc. 4th Nat. Petri Net Conf.","author":"Jiang"},{"key":"ref36","doi-asserted-by":"publisher","DOI":"10.1109\/3468.747852"},{"key":"ref37","doi-asserted-by":"publisher","DOI":"10.1109\/TSMC.2017.2692262"},{"key":"ref38","doi-asserted-by":"publisher","DOI":"10.1109\/TSMCB.2003.811516"},{"key":"ref39","doi-asserted-by":"publisher","DOI":"10.1109\/TCSI.2006.876811"},{"key":"ref40","doi-asserted-by":"publisher","DOI":"10.1109\/TSMCB.2008.917177"},{"key":"ref41","doi-asserted-by":"publisher","DOI":"10.1109\/TSMC.2016.2523944"},{"key":"ref42","doi-asserted-by":"publisher","DOI":"10.1109\/TSMCA.2012.2226878"},{"key":"ref43","doi-asserted-by":"publisher","DOI":"10.1109\/JAS.2015.7296528"},{"key":"ref44","doi-asserted-by":"publisher","DOI":"10.1007\/s11432-014-5239-9"},{"key":"ref45","doi-asserted-by":"publisher","DOI":"10.1109\/TSMC.2016.2524062"},{"key":"ref46","doi-asserted-by":"publisher","DOI":"10.1109\/ICRA.2015.7139737"},{"key":"ref47","doi-asserted-by":"publisher","DOI":"10.1109\/TSMC.2016.2585348"},{"key":"ref48","doi-asserted-by":"publisher","DOI":"10.1109\/TSMC.2018.2791527"},{"key":"ref49","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-56689-9_45"},{"key":"ref50","doi-asserted-by":"publisher","DOI":"10.1142\/S0129054110007180"},{"key":"ref51","doi-asserted-by":"publisher","DOI":"10.3233\/FI-2014-1002"},{"key":"ref52","doi-asserted-by":"publisher","DOI":"10.3233\/FI-2016-1319"},{"key":"ref53","doi-asserted-by":"publisher","DOI":"10.1007\/s10626-020-00331-z"},{"key":"ref54","doi-asserted-by":"publisher","DOI":"10.1109\/TASE.2014.2313979"},{"key":"ref55","doi-asserted-by":"publisher","DOI":"10.1109\/TASE.2020.3029737"},{"key":"ref56","doi-asserted-by":"publisher","DOI":"10.1109\/TASE.2020.3026351"},{"key":"ref57","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(79)90041-0"},{"key":"ref58","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(76)90008-6"},{"key":"ref59","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(84)90038-0"},{"key":"ref60","doi-asserted-by":"publisher","DOI":"10.1109\/21.384255"},{"key":"ref61","doi-asserted-by":"publisher","DOI":"10.1109\/3477.735388"},{"key":"ref62","doi-asserted-by":"publisher","DOI":"10.1109\/TSMCA.2009.2038068"},{"key":"ref63","doi-asserted-by":"publisher","DOI":"10.1177\/0020294020923375"},{"key":"ref64","doi-asserted-by":"publisher","DOI":"10.1109\/TSMC.2015.2433892"},{"key":"ref65","doi-asserted-by":"publisher","DOI":"10.1109\/TNNLS.2021.3084902"},{"key":"ref66","volume-title":"Heuristics: Intelligent Search Strategies for Computer Problem Solving","author":"Pearl","year":"1984"},{"key":"ref67","doi-asserted-by":"publisher","DOI":"10.1007\/s10994-020-05877-5"},{"key":"ref68","doi-asserted-by":"publisher","DOI":"10.1109\/TPAMI.2021.3061456"},{"key":"ref69","doi-asserted-by":"publisher","DOI":"10.1109\/IJCNN52387.2021.9533785"},{"key":"ref70","first-page":"703","article-title":"Analysis of learning from positive and unlabeled data","volume-title":"Proc. 27th Int. Conf. Neural Inf. Process. Syst.","author":"Plessis"},{"key":"ref71","doi-asserted-by":"publisher","DOI":"10.1016\/j.patrec.2013.06.010"},{"key":"ref72","doi-asserted-by":"publisher","DOI":"10.1109\/TCBB.2021.3123828"}],"container-title":["IEEE Transactions on Automation Science and Engineering"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/8856\/10631719\/10122543.pdf?arnumber=10122543","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,8,10]],"date-time":"2024-08-10T06:40:33Z","timestamp":1723272033000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/10122543\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024,7]]},"references-count":72,"journal-issue":{"issue":"3"},"URL":"https:\/\/doi.org\/10.1109\/tase.2023.3272983","relation":{},"ISSN":["1545-5955","1558-3783"],"issn-type":[{"value":"1545-5955","type":"print"},{"value":"1558-3783","type":"electronic"}],"subject":[],"published":{"date-parts":[[2024,7]]}}}