{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T20:11:13Z","timestamp":1725653473240},"reference-count":12,"publisher":"IEEE","license":[{"start":{"date-parts":[[2009,8,1]],"date-time":"2009-08-01T00:00:00Z","timestamp":1249084800000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2009,8,1]],"date-time":"2009-08-01T00:00:00Z","timestamp":1249084800000},"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":[[2009,8]]},"DOI":"10.23919\/ecc.2009.7075157","type":"proceedings-article","created":{"date-parts":[[2018,6,21]],"date-time":"2018-06-21T16:01:16Z","timestamp":1529596876000},"page":"4786-4791","source":"Crossref","is-referenced-by-count":0,"title":["Synthesis of behavioral controllers for Discrete Event Systems with NCES-like Petri net models"],"prefix":"10.23919","author":[{"given":"Kai","family":"Bollue","sequence":"first","affiliation":[{"name":"Institut of Automatic Control, RWTH Aachen University, Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Dirk","family":"Abel","sequence":"additional","affiliation":[{"name":"Institut of Automatic Control, RWTH Aachen University, Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Wolfgang","family":"Thomas","sequence":"additional","affiliation":[{"name":"Computer Science 7, RWTH Aachen University, Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.3182\/20050703-6-CZ-1902.00350"},{"key":"ref7","first-page":"295","article-title":"Synthesis of a discrete control for hybrid systems by means of a Petri-net-state-model","author":"orth","year":"2002","journal-title":"Modelling Analysis and Design of Hybrid Systems"},{"journal-title":"Petri net tool “Netlab”","year":"0","key":"ref12"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/9.847725"},{"key":"ref4","article-title":"Transformation von Netzmodellen zur Analyse von Technischen Systemen","author":"thieme","year":"1999","journal-title":"Tech Rep"},{"key":"ref3","article-title":"Petri-Netze für Ingenieure","author":"abel","year":"1990","journal-title":"Modellbildung und Analyse Diskret Gesteuerter Systeme"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1109\/ICSMC.1998.725493"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1016\/S1474-6670(17)36448-0"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.23919\/ACC.1991.4791934"},{"article-title":"Reachability in Petri nets with inhibitor arcs","year":"1996","author":"reinhardt","key":"ref10"},{"article-title":"Petri nets as discrete event models for supervisory control","year":"1992","author":"giua","key":"ref2"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1109\/5.21072"}],"event":{"name":"2009 European Control Conference (ECC)","start":{"date-parts":[[2009,8,23]]},"location":"Budapest, Hungary","end":{"date-parts":[[2009,8,26]]}},"container-title":["2009 European Control Conference (ECC)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/7069760\/7069761\/07075157.pdf?arnumber=7075157","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,5,3]],"date-time":"2023-05-03T17:55:16Z","timestamp":1683136516000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/7075157\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009,8]]},"references-count":12,"URL":"https:\/\/doi.org\/10.23919\/ecc.2009.7075157","relation":{},"subject":[],"published":{"date-parts":[[2009,8]]}}}