{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,16]],"date-time":"2026-01-16T20:04:06Z","timestamp":1768593846603,"version":"3.49.0"},"reference-count":23,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","license":[{"start":{"date-parts":[[2025,1,1]],"date-time":"2025-01-01T00:00:00Z","timestamp":1735689600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"},{"start":{"date-parts":[[2025,1,1]],"date-time":"2025-01-01T00:00:00Z","timestamp":1735689600000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2025,1,1]],"date-time":"2025-01-01T00:00:00Z","timestamp":1735689600000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"funder":[{"DOI":"10.13039\/501100001838","name":"German Federal Ministry for Economic Affairs and Energy","doi-asserted-by":"publisher","award":["FKZ KK6023105SW5"],"award-info":[{"award-number":["FKZ KK6023105SW5"]}],"id":[{"id":"10.13039\/501100001838","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IEEE Control Syst. Lett."],"published-print":{"date-parts":[[2025]]},"DOI":"10.1109\/lcsys.2025.3648432","type":"journal-article","created":{"date-parts":[[2025,12,26]],"date-time":"2025-12-26T18:25:16Z","timestamp":1766773516000},"page":"3131-3136","source":"Crossref","is-referenced-by-count":0,"title":["Liveness, Reachability, and Reversibility of Signal Interpreted Petri Nets"],"prefix":"10.1109","volume":"9","author":[{"ORCID":"https:\/\/orcid.org\/0000-0001-8904-0380","authenticated-orcid":false,"given":"Andreas","family":"K\u00f6hler","sequence":"first","affiliation":[{"name":"Institute of Automatic Control and Complex Systems, University of Duisburg-Essen, Duisburg, Germany"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-9620-8193","authenticated-orcid":false,"given":"Ping","family":"Zhang","sequence":"additional","affiliation":[{"name":"Institute of Automatic Control and Complex Systems, University of Duisburg-Essen, Duisburg, Germany"}]}],"member":"263","reference":[{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1007\/978-0-387-68612-7"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/ACC.2000.879150"},{"key":"ref3","volume-title":"Design and Formal Analysis of Petri Net Based Logic Control Algorithms","author":"Frey","year":"2002"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.23919\/ACC45564.2020.9147266"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1016\/j.ifacol.2023.10.958"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2024.3412008"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-58152-9_20"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/TASE.2006.872106"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.3182\/20140514-3-FR-4046.00078"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1177\/1687814018781487"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2009.5399850"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/32.286423"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1109\/70.631236"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1109\/ICYCS.2008.128"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1093\/comjnl\/bxp118"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1016\/j.ins.2017.08.014"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1109\/TSMC.2018.2791527"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1109\/CDC42340.2020.9303795"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1109\/5.24143"},{"key":"ref20","volume-title":"Concrete Mathematics A Foundation for Computer Science","author":"Graham","year":"1994"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1109\/LCSYS.2021.3137710"},{"key":"ref22","article-title":"Petri net theory: A survey","author":"Manson","year":"1988"},{"issue":"3","key":"ref23","first-page":"143","article-title":"Decidability issues for Petri nets","volume":"30","author":"Ezparza","year":"1994","journal-title":"Inf. Process. Cybern."}],"container-title":["IEEE Control Systems Letters"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx8\/7782633\/10939047\/11315127.pdf?arnumber=11315127","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,1,14]],"date-time":"2026-01-14T20:41:41Z","timestamp":1768423301000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/11315127\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025]]},"references-count":23,"URL":"https:\/\/doi.org\/10.1109\/lcsys.2025.3648432","relation":{},"ISSN":["2475-1456"],"issn-type":[{"value":"2475-1456","type":"electronic"}],"subject":[],"published":{"date-parts":[[2025]]}}}