{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,5]],"date-time":"2026-06-05T04:53:44Z","timestamp":1780635224840,"version":"3.54.1"},"reference-count":50,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"2","license":[{"start":{"date-parts":[[2023,4,1]],"date-time":"2023-04-01T00:00:00Z","timestamp":1680307200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"},{"start":{"date-parts":[[2023,4,1]],"date-time":"2023-04-01T00:00:00Z","timestamp":1680307200000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2023,4,1]],"date-time":"2023-04-01T00:00:00Z","timestamp":1680307200000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"funder":[{"DOI":"10.13039\/501100001809","name":"National Nature Science Foundation of China","doi-asserted-by":"publisher","award":["62172299"],"award-info":[{"award-number":["62172299"]}],"id":[{"id":"10.13039\/501100001809","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100001809","name":"National Nature Science Foundation of China","doi-asserted-by":"publisher","award":["62032019"],"award-info":[{"award-number":["62032019"]}],"id":[{"id":"10.13039\/501100001809","id-type":"DOI","asserted-by":"publisher"}]},{"name":"Shanghai Municipal Science and Technology Major Project","award":["2021SHZDZX0100"],"award-info":[{"award-number":["2021SHZDZX0100"]}]},{"DOI":"10.13039\/501100012226","name":"Fundamental Research Funds for the Central Universities of China","doi-asserted-by":"publisher","id":[{"id":"10.13039\/501100012226","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IEEE Trans. Comput. Soc. Syst."],"published-print":{"date-parts":[[2023,4]]},"DOI":"10.1109\/tcss.2022.3164052","type":"journal-article","created":{"date-parts":[[2022,4,13]],"date-time":"2022-04-13T19:32:13Z","timestamp":1649878333000},"page":"563-576","source":"Crossref","is-referenced-by-count":23,"title":["Petri-Net-Based Model Checking for Privacy-Critical Multiagent Systems"],"prefix":"10.1109","volume":"10","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-0167-6657","authenticated-orcid":false,"given":"Leifeng","family":"He","sequence":"first","affiliation":[{"name":"Department of Computer Science and Technology, Tongji University, Shanghai, China"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-7523-4827","authenticated-orcid":false,"given":"Guanjun","family":"Liu","sequence":"additional","affiliation":[{"name":"Department of Computer Science and Technology, Tongji University, Shanghai, China"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-5408-8752","authenticated-orcid":false,"given":"Mengchu","family":"Zhou","sequence":"additional","affiliation":[{"name":"Department of Electrical and Computer Engineering, New Jersey Institute of Technology, Newark, NJ, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"263","reference":[{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0028774"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2017.2781231"},{"key":"ref3","volume-title":"Principles of Model Checking","author":"Baier","year":"2008"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.24963\/ijcai.2017\/14"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1016\/s0065-2458(03)58003-2"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1109\/12.537122"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-91268-4_8"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/TC.1986.1676819"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.4304\/jcp.4.10.981-996"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1007\/BF00206326"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1016\/j.ifacol.2016.10.332"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/IEEECONF49454.2021.9382677"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-45657-0_29"},{"issue":"1","key":"ref14","doi-asserted-by":"crossref","first-page":"7","DOI":"10.1023\/A:1011276507260","article-title":"Bounded model checking using satisfiability solving","volume":"19","author":"Clarke","year":"2001","journal-title":"Formal Methods Syst. Des."},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1007\/s100090050035"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.7551\/mitpress\/5803.001.0001"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-27813-9_41"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1145\/28395.28420"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-40981-6_11"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1109\/TSMC.2017.2659759"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(77)90014-7"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1109\/HPCC\/SmartCity\/DSS.2019.00161"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1109\/TASE52547.2021.00033"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.23919\/CCC50068.2020.9188719"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1109\/QEST.2011.19"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-53401-4_14"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-53401-4_12"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1007\/s10009-015-0378-x"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4615-3190-6"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1017\/cbo9780511569852"},{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.1109\/TSMC.2013.2250278"},{"key":"ref32","doi-asserted-by":"publisher","DOI":"10.1109\/IEEECONF49454.2021.9382677"},{"key":"ref33","first-page":"130","article-title":"A ZBDD package for efficient model checking of Petri nets","author":"Noack","year":"1999"},{"key":"ref34","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-04101-3"},{"key":"ref35","doi-asserted-by":"publisher","DOI":"10.1109\/12.926158"},{"key":"ref36","doi-asserted-by":"publisher","DOI":"10.1007\/s10817-016-9368-2"},{"key":"ref37","doi-asserted-by":"publisher","DOI":"10.1109\/ICCAD.1993.580029"},{"key":"ref38","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-51831-8_16"},{"key":"ref39","volume-title":"CUDD: CU Decision Diagram Package-Release 2.5.1","author":"Somenzi","year":"2021"},{"key":"ref40","doi-asserted-by":"publisher","DOI":"10.1093\/comjnl\/bxm009"},{"key":"ref41","article-title":"Model checking using interval decision diagrams","author":"Tovchigrechko","year":"2008"},{"key":"ref42","doi-asserted-by":"publisher","DOI":"10.1145\/545056.545095"},{"key":"ref43","doi-asserted-by":"publisher","DOI":"10.1109\/CSFW.2004.1310747"},{"key":"ref44","doi-asserted-by":"publisher","DOI":"10.1145\/168588.168617"},{"key":"ref45","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-60915-6_6"},{"key":"ref46","doi-asserted-by":"publisher","DOI":"10.1007\/s10270-012-0281-9"},{"key":"ref47","volume-title":"An Introduction to Multiagent Systems","author":"Wooldridge","year":"2009"},{"key":"ref48","doi-asserted-by":"publisher","DOI":"10.1109\/SFCS.1982.38"},{"key":"ref49","doi-asserted-by":"publisher","DOI":"10.1109\/TCSS.2021.3099475"},{"key":"ref50","doi-asserted-by":"publisher","DOI":"10.1109\/TCSS.2020.3006381"}],"container-title":["IEEE Transactions on Computational Social Systems"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/6570650\/10089892\/09756890.pdf?arnumber=9756890","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,1,22]],"date-time":"2024-01-22T21:26:21Z","timestamp":1705958781000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/9756890\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023,4]]},"references-count":50,"journal-issue":{"issue":"2"},"URL":"https:\/\/doi.org\/10.1109\/tcss.2022.3164052","relation":{},"ISSN":["2329-924X","2373-7476"],"issn-type":[{"value":"2329-924X","type":"electronic"},{"value":"2373-7476","type":"electronic"}],"subject":[],"published":{"date-parts":[[2023,4]]}}}