{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T14:44:35Z","timestamp":1725461075462},"reference-count":15,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2021,5,25]]},"DOI":"10.23919\/acc50511.2021.9483401","type":"proceedings-article","created":{"date-parts":[[2021,7,28]],"date-time":"2021-07-28T20:29:16Z","timestamp":1627504156000},"page":"496-501","source":"Crossref","is-referenced-by-count":0,"title":["An Approach to Design Distributed Logic Controllers for Large-Scale Manufacturing Systems"],"prefix":"10.23919","author":[{"given":"Andreas","family":"Kohler","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Raphael","family":"Fritz","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ping","family":"Zhang","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1109\/TCST.2014.2313352"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/TCST.2019.2912776"},{"key":"ref12","first-page":"341","article-title":"Automatic specification generation for tracking control in interpreted Petri nets","author":"guevara lozano","year":"0","journal-title":"Proc of the 7th International Conference on Control Decision and Information Technologies"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.23919\/ACC45564.2020.9147266"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1109\/5.24143"},{"journal-title":"Mathematical Thinking Problem-Solving and Proofs","year":"1997","author":"john philip","key":"ref15"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/TCST.2015.2391014"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1016\/j.ifacol.2018.08.474"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1109\/WODES.2016.7497886"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1007\/s00170-004-2153-0"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/ETFA.2019.8868993"},{"key":"ref7","first-page":"715","article-title":"Petri net modelling of industrial processes from a P & ID description","author":"rozo-ibanez","year":"0","journal-title":"Proc of the 7th International Conference on Control Decision and Information Technologies"},{"journal-title":"Design and formal analysis of Petri net based logic control algorithms","year":"2002","author":"frey","key":"ref2"},{"journal-title":"Introduction to Discrete Event Systems","year":"2009","author":"cassandras","key":"ref1"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.23919\/ECC.2019.8795958"}],"event":{"name":"2021 American Control Conference (ACC)","start":{"date-parts":[[2021,5,25]]},"location":"New Orleans, LA, USA","end":{"date-parts":[[2021,5,28]]}},"container-title":["2021 American Control Conference (ACC)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/9482409\/9482614\/09483401.pdf?arnumber=9483401","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,7,29]],"date-time":"2021-07-29T20:40:33Z","timestamp":1627591233000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/9483401\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021,5,25]]},"references-count":15,"URL":"https:\/\/doi.org\/10.23919\/acc50511.2021.9483401","relation":{},"subject":[],"published":{"date-parts":[[2021,5,25]]}}}