{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,8,31]],"date-time":"2025-08-31T23:28:04Z","timestamp":1756682884049},"reference-count":21,"publisher":"IEEE","license":[{"start":{"date-parts":[[2023,5,31]],"date-time":"2023-05-31T00:00:00Z","timestamp":1685491200000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2023,5,31]],"date-time":"2023-05-31T00:00:00Z","timestamp":1685491200000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2023,5,31]]},"DOI":"10.23919\/acc55779.2023.10155912","type":"proceedings-article","created":{"date-parts":[[2023,7,3]],"date-time":"2023-07-03T17:48:03Z","timestamp":1688406483000},"page":"4339-4344","source":"Crossref","is-referenced-by-count":2,"title":["Pareto Modeling of Discrete Manufacturing Systems by Signal Interpreted Petri Nets"],"prefix":"10.23919","author":[{"given":"Andreas","family":"K\u00f6hler","sequence":"first","affiliation":[{"name":"Rheinland-Pfälzische Technische Universität Kaiserslautern-Landau,Institute of Automatic Control,Kaiserslautern,Germany,67653"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ping","family":"Zhang","sequence":"additional","affiliation":[{"name":"Rheinland-Pfälzische Technische Universität Kaiserslautern-Landau,Institute of Automatic Control,Kaiserslautern,Germany,67653"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2000.914135"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1016\/j.conengprac.2010.09.004"},{"key":"ref15","first-page":"11","article-title":"Identification of concurrent discrete event systems using Petri nets","author":"meda-campa\u00f1a","year":"2005","journal-title":"Proc of the 17th IMACS World Congress on Computational and Applied Mathematics"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2003.1271737"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1109\/5.24143"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1016\/j.automatica.2007.10.014"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1109\/TASE.2017.2682060"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.23919\/ACC45564.2020.9147266"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1016\/j.arcontrol.2018.04.006"},{"journal-title":"Introduction to Discrete Event Systems","year":"2009","author":"cassandras","key":"ref1"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1109\/ETFA.2013.6648052"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1109\/ICSMC.2009.5346599"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1108\/eb024706"},{"journal-title":"Design and formal analysis of Petri net based logic control algorithms","year":"2002","author":"frey","key":"ref18"},{"key":"ref8","first-page":"715","article-title":"Petri net modelling of industrial processes from a P&ID description","author":"rozo-iba\u00f1ez","year":"2020","journal-title":"Proc of the 7th Intl Conf on Control Decision and Information Technologies"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/ICSMC.1998.725375"},{"key":"ref9","article-title":"Petri nets design and identification for the diagnosis of discrete event systems","author":"el medhi","year":"2006","journal-title":"Proc of the 21th IAR Annual Meeting Nancy"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4615-3126-5"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1016\/j.arcontrol.2018.04.002"},{"key":"ref6","first-page":"2035","article-title":"Hybrid modelling with Petri nets for the verification of logic control algorithms","author":"j\u00f6rns","year":"1995","journal-title":"Proc of the 3rd European Control Conference"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/ICSMC.1995.538499"}],"event":{"name":"2023 American Control Conference (ACC)","start":{"date-parts":[[2023,5,31]]},"location":"San Diego, CA, USA","end":{"date-parts":[[2023,6,2]]}},"container-title":["2023 American Control Conference (ACC)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/10155646\/10155787\/10155912.pdf?arnumber=10155912","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,10,16]],"date-time":"2023-10-16T17:48:40Z","timestamp":1697478520000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/10155912\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023,5,31]]},"references-count":21,"URL":"https:\/\/doi.org\/10.23919\/acc55779.2023.10155912","relation":{},"subject":[],"published":{"date-parts":[[2023,5,31]]}}}