{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,21]],"date-time":"2026-07-21T15:12:22Z","timestamp":1784646742675,"version":"3.55.0"},"reference-count":64,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"2","license":[{"start":{"date-parts":[[2024,2,1]],"date-time":"2024-02-01T00:00:00Z","timestamp":1706745600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"},{"start":{"date-parts":[[2024,2,1]],"date-time":"2024-02-01T00:00:00Z","timestamp":1706745600000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2024,2,1]],"date-time":"2024-02-01T00:00:00Z","timestamp":1706745600000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"funder":[{"DOI":"10.13039\/501100012166","name":"National Key Research and Development Program of China","doi-asserted-by":"publisher","award":["2022YFB4501700"],"award-info":[{"award-number":["2022YFB4501700"]}],"id":[{"id":"10.13039\/501100012166","id-type":"DOI","asserted-by":"publisher"}]},{"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. Syst. Man Cybern, Syst."],"published-print":{"date-parts":[[2024,2]]},"DOI":"10.1109\/tsmc.2023.3323342","type":"journal-article","created":{"date-parts":[[2023,10,26]],"date-time":"2023-10-26T18:00:24Z","timestamp":1698343224000},"page":"1070-1081","source":"Crossref","is-referenced-by-count":11,"title":["The Probabilistic Liveness Decision Method of Unbounded Petri Nets Based on Machine Learning"],"prefix":"10.1109","volume":"54","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-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\/TSMC.2022.3201826"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/TITS.2021.3095661"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/TSM.2022.3179669"},{"key":"ref5","volume-title":"A PN Machine Theory of Discrete Event Dynamic System","author":"Jiang","year":"2000"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1109\/TSMC.2023.3279867"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1002\/9781119619727"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/TSMC.2018.2852946"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/TASE.2021.3114498"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1109\/IEMECON.2017.8079601"},{"key":"ref11","volume-title":"Liveness of Petri Nets and Its Application","author":"Liu","year":"2020"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(94)00231-7"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1109\/5.24143"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(89)90053-4"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1587\/transfun.E94.A.2832"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(92)90299-U"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(77)90014-7"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1587\/transfun.E92.A.2717"},{"issue":"5","key":"ref19","first-page":"1071","article-title":"NP-hardness of liveness problem of bounded asymmetric choice net","volume":"85","author":"Ohta","year":"2002","journal-title":"IEICE Trans. Fundament. Electron. Commun. Comput."},{"issue":"4","key":"ref20","first-page":"267","article-title":"Analysis and implementation of liveness and fairness of bounded Petri nets","volume":"1","author":"Zhehui","year":"1989","journal-title":"Chin. J. Comput."},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-65306-6_19"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511526558"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1093\/comjnl\/bxp118"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1016\/S0022-0000(69)80011-5"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1109\/3468.747852"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1109\/ICSMC.1991.169706"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1109\/TSMCB.2003.811516"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1109\/TCSI.2006.876811"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1109\/TSMCB.2008.917177"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1109\/TSMC.2016.2523944"},{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.1007\/s11432-014-5239-9"},{"key":"ref32","doi-asserted-by":"publisher","DOI":"10.1109\/TSMC.2016.2524062"},{"key":"ref33","doi-asserted-by":"publisher","DOI":"10.1109\/TSMC.2016.2585348"},{"key":"ref34","doi-asserted-by":"publisher","DOI":"10.1109\/TSMC.2018.2791527"},{"key":"ref35","doi-asserted-by":"publisher","DOI":"10.1126\/science.aar6404"},{"key":"ref36","doi-asserted-by":"publisher","DOI":"10.1109\/CVPR.2016.90"},{"key":"ref37","doi-asserted-by":"publisher","DOI":"10.1109\/JIOT.2018.2816007"},{"key":"ref38","doi-asserted-by":"publisher","DOI":"10.1109\/5.726791"},{"key":"ref39","doi-asserted-by":"publisher","DOI":"10.1109\/TNNLS.2021.3105818"},{"key":"ref40","first-page":"2672","article-title":"Generative adversarial nets","volume-title":"Proc. 28th Int. Conf. Neural Inf. Process. Syst.","author":"Goodfellow"},{"key":"ref41","doi-asserted-by":"publisher","DOI":"10.1109\/IJCNN.2005.1555942"},{"key":"ref42","doi-asserted-by":"publisher","DOI":"10.1162\/neco.1997.9.8.1735"},{"key":"ref43","doi-asserted-by":"publisher","DOI":"10.3115\/v1\/D14-1179"},{"key":"ref44","doi-asserted-by":"publisher","DOI":"10.1007\/s11633-016-1006-2"},{"key":"ref45","doi-asserted-by":"publisher","DOI":"10.1109\/TKDE.2020.2981333"},{"key":"ref46","doi-asserted-by":"publisher","DOI":"10.1109\/TNN.2008.2005141"},{"key":"ref47","first-page":"1","article-title":"Spectral networks and locally connected networks on graphs","volume-title":"Proc. Int. Conf. Learn. Representat.","author":"Bruna"},{"key":"ref48","doi-asserted-by":"publisher","DOI":"10.5555\/3157096.3157320"},{"key":"ref49","doi-asserted-by":"publisher","DOI":"10.1609\/aaai.v33i01.33014424"},{"key":"ref50","doi-asserted-by":"publisher","DOI":"10.1109\/21.384255"},{"key":"ref51","doi-asserted-by":"publisher","DOI":"10.1109\/3468.531910"},{"key":"ref52","doi-asserted-by":"publisher","DOI":"10.1109\/3477.735388"},{"key":"ref53","doi-asserted-by":"publisher","DOI":"10.1109\/TSMCA.2009.2038068"},{"key":"ref54","doi-asserted-by":"publisher","DOI":"10.1109\/TNNLS.2021.3084902"},{"key":"ref55","doi-asserted-by":"publisher","DOI":"10.1109\/TASE.2023.3272983"},{"key":"ref56","doi-asserted-by":"publisher","DOI":"10.1109\/70.650158"},{"key":"ref57","first-page":"1","article-title":"How powerful are graph neural networks?","volume-title":"Proc. Int. Conf. Learn. Represent.","author":"Xu"},{"key":"ref58","first-page":"2014","article-title":"Learning convolutional neural networks for graphs","volume-title":"Proc. 33rd Int. Conf. Mach. Learn.","volume":"48","author":"Niepert"},{"key":"ref59","first-page":"1","article-title":"Accurate learning of graph representations with graph multiset pooling","volume-title":"Proc. Int. Conf. Learn. Represent.","author":"Baek"},{"key":"ref60","doi-asserted-by":"publisher","DOI":"10.1609\/aaai.v34i04.5997"},{"key":"ref61","doi-asserted-by":"publisher","DOI":"10.1109\/IJCNN52387.2021.9533785"},{"key":"ref62","first-page":"971","article-title":"Polynomial time solvability of liveness problem of siphon containing circuit nets","volume-title":"Proc. IEEK Conf.","author":"Ohta"},{"key":"ref63","doi-asserted-by":"publisher","DOI":"10.1016\/S0304-3975(03)00359-1"},{"issue":"1","key":"ref64","first-page":"1977","article-title":"Preservation of liveness and deadlock-freeness in synchronous synthesis of Petri net systems","volume":"12","author":"Pu","year":"2003","journal-title":"J. Softw."}],"container-title":["IEEE Transactions on Systems, Man, and Cybernetics: Systems"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/6221021\/10403399\/10296877.pdf?arnumber=10296877","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,1,19]],"date-time":"2024-01-19T18:23:58Z","timestamp":1705688638000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/10296877\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024,2]]},"references-count":64,"journal-issue":{"issue":"2"},"URL":"https:\/\/doi.org\/10.1109\/tsmc.2023.3323342","relation":{},"ISSN":["2168-2216","2168-2232"],"issn-type":[{"value":"2168-2216","type":"print"},{"value":"2168-2232","type":"electronic"}],"subject":[],"published":{"date-parts":[[2024,2]]}}}