{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,20]],"date-time":"2026-06-20T16:21:25Z","timestamp":1781972485039,"version":"3.54.5"},"reference-count":35,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"2","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IEEE\/CAA J. Autom. Sinica"],"published-print":{"date-parts":[[2022,2]]},"DOI":"10.1109\/jas.2021.1004326","type":"journal-article","created":{"date-parts":[[2021,11,4]],"date-time":"2021-11-04T19:28:56Z","timestamp":1636054136000},"page":"329-338","source":"Crossref","is-referenced-by-count":15,"title":["Computation of Minimal Siphons in Petri Nets Using Problem Partitioning Approaches"],"prefix":"10.1109","volume":"9","author":[{"given":"Dan","family":"You","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Oussama","family":"Karoui","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Shouguang","family":"Wang","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"263","reference":[{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1016\/j.arcontrol.2018.04.006"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/TSMCA.2010.2048898"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/TSMC.2018.2852946"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1016\/j.ins.2015.09.010"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/TSMC.2019.2906335"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1080\/17517575.2014.986215"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1016\/j.ins.2015.08.037"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/JAS.2020.1003210"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1016\/j.ins.2017.05.011"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1109\/TCST.2017.2754982"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1177\/1687814017693542"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/TSMCA.2011.2159590"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1109\/TSMCA.2011.2170419"},{"issue":"11","key":"ref14","first-page":"1817","article-title":"Finding minimal siphons in general Petri nets","volume":"E79-A","author":"Tanimoto","year":"1996","journal-title":"IEICE Trans. Fundam."},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1109\/JAS.2020.1003207"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1109\/JAS.2020.1003096"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1109\/TSMC.2018.2854158"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1109\/70.370500"},{"issue":"12","key":"ref19","first-page":"6677","article-title":"Monitor design for siphon control in S4R nets: from structure analysis points of view","volume":"7","author":"Zhong","year":"2011","journal-title":"Int. J. Innovative Comput., Inf. Control"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1109\/ACCESS.2017.2763783"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2017.2677859"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1109\/ACCESS.2018.2868981"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1109\/TSMCA.2005.855751"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1109\/TSMCA.2009.2019880"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1109\/TSMCA.2008.918605"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1007\/s10626-012-0132-4"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1109\/ICSTCC.2014.6982490"},{"key":"ref28","first-page":"307","article-title":"Computing minimal siphons in Petri net models of resource allocation systems: An evolutionary approach","volume-title":"Proc. Int. Workshop on Petri Nets and Software Engineering (PNSE14)","author":"Tricas"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1109\/TSMCA.2009.2013189"},{"key":"ref30","volume-title":"INA: Integrated net analyzer","author":"Starke","year":"1992"},{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.1109\/TSMC.2015.2507162"},{"key":"ref32","doi-asserted-by":"publisher","DOI":"10.1109\/TSMCA.2005.853504"},{"key":"ref33","doi-asserted-by":"publisher","DOI":"10.1109\/5.24143"},{"key":"ref34","volume-title":"The tools for GPMSE, GPMSE with the depth-first search, and IGPMSE","year":"2015"},{"key":"ref35","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2017.2758842"}],"container-title":["IEEE\/CAA Journal of Automatica Sinica"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/6570654\/9601147\/09604031.pdf?arnumber=9604031","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,1,12]],"date-time":"2024-01-12T01:57:17Z","timestamp":1705024637000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/9604031\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022,2]]},"references-count":35,"journal-issue":{"issue":"2"},"URL":"https:\/\/doi.org\/10.1109\/jas.2021.1004326","relation":{},"ISSN":["2329-9266","2329-9274"],"issn-type":[{"value":"2329-9266","type":"print"},{"value":"2329-9274","type":"electronic"}],"subject":[],"published":{"date-parts":[[2022,2]]}}}