{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,7]],"date-time":"2025-10-07T08:51:10Z","timestamp":1759827070799,"version":"3.37.3"},"reference-count":36,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"4","funder":[{"DOI":"10.13039\/501100001809","name":"National Natural Science Foundation of China","doi-asserted-by":"publisher","award":["61503220"],"award-info":[{"award-number":["61503220"]}],"id":[{"id":"10.13039\/501100001809","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100007129","name":"Natural Science Foundation of Shandong Province","doi-asserted-by":"publisher","award":["ZR2016FM19"],"award-info":[{"award-number":["ZR2016FM19"]}],"id":[{"id":"10.13039\/501100007129","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100010040","name":"Taishan Scholar Project of Shandong Province","doi-asserted-by":"publisher","award":["TSQN201812092"],"award-info":[{"award-number":["TSQN201812092"]}],"id":[{"id":"10.13039\/501100010040","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/100014103","name":"Key Research and Development Program of Shandong Province","doi-asserted-by":"publisher","award":["2019GGX101072,2019JZZY010115,2018GGX106006"],"award-info":[{"award-number":["2019GGX101072,2019JZZY010115,2018GGX106006"]}],"id":[{"id":"10.13039\/100014103","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/100016697","name":"Youth Innovation Technology Project of Higher School in Shandong Province","doi-asserted-by":"publisher","award":["2019KJN005"],"award-info":[{"award-number":["2019KJN005"]}],"id":[{"id":"10.13039\/100016697","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IEEE\/CAA J. Autom. Sinica"],"published-print":{"date-parts":[[2021,4]]},"DOI":"10.1109\/jas.2020.1003003","type":"journal-article","created":{"date-parts":[[2020,1,16]],"date-time":"2020-01-16T20:59:26Z","timestamp":1579208366000},"page":"905-915","source":"Crossref","is-referenced-by-count":27,"title":["Property Preservation of Petri Synthesis Net Based Representation for Embedded Systems"],"prefix":"10.1109","volume":"8","author":[{"given":"Chuanliang","family":"Xia","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Chengdong","family":"Li","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref33","doi-asserted-by":"publisher","DOI":"10.1016\/j.conengprac.2014.05.008"},{"key":"ref32","doi-asserted-by":"publisher","DOI":"10.1016\/S0304-3975(03)00359-1"},{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.1016\/j.automatica.2013.07.023"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1017\/S0960129512000515"},{"key":"ref36","doi-asserted-by":"publisher","DOI":"10.1007\/s00236-018-0320-2"},{"key":"ref35","doi-asserted-by":"publisher","DOI":"10.1016\/j.ins.2013.10.014"},{"key":"ref34","doi-asserted-by":"publisher","DOI":"10.1016\/j.automatica.2014.12.004"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1007\/s00170-016-8864-1"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1016\/j.scico.2016.08.008"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1016\/j.peva.2017.09.006"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-94111-0_4"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1109\/71.553301"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1109\/TSMC.2014.2307284"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1016\/j.eswa.2014.07.037"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1109\/TSMCA.2008.923064"},{"key":"ref18","first-page":"48","article-title":"Local state refinement and composition of elementary net systems: An approach based on morphisms","author":"bernardinello","year":"2013","journal-title":"Transactions on Petri Nets and Other Models of Concurrency I"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1109\/TC.2010.96"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1016\/j.ins.2013.01.003"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1049\/iet-cdt:20070128"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1016\/j.compind.2011.01.001"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-31494-0_9"},{"key":"ref6","first-page":"614","article-title":"Reduction rules for Petri net based representation for embedded systems","volume":"2","author":"xia","year":"2008","journal-title":"Journal of Frontiers of Computer Science and Technology"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1007\/11750321_55"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1007\/s10617-006-9723-3"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.32604\/csse.2018.33.345"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1007\/s10586-016-0597-2"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1016\/S1383-7621(03)00096-1"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/3477.865173"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-72215-3_9"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1016\/j.entcs.2016.09.018"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1109\/TSMCA.2012.2186440"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1016\/j.scico.2014.11.019"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1109\/70.143353"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1016\/j.jss.2005.06.018"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1016\/j.ic.2016.06.006"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1109\/TCST.2015.2504046"}],"container-title":["IEEE\/CAA Journal of Automatica Sinica"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/6570654\/9374761\/08961880.pdf?arnumber=8961880","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,5,10]],"date-time":"2021-05-10T20:53:26Z","timestamp":1620680006000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/8961880\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021,4]]},"references-count":36,"journal-issue":{"issue":"4"},"URL":"https:\/\/doi.org\/10.1109\/jas.2020.1003003","relation":{},"ISSN":["2329-9266","2329-9274"],"issn-type":[{"type":"print","value":"2329-9266"},{"type":"electronic","value":"2329-9274"}],"subject":[],"published":{"date-parts":[[2021,4]]}}}