{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,3]],"date-time":"2024-09-03T23:58:57Z","timestamp":1725407937630},"reference-count":10,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2002]]},"DOI":"10.1109\/acc.2002.1025352","type":"proceedings-article","created":{"date-parts":[[2003,6,25]],"date-time":"2003-06-25T18:06:50Z","timestamp":1056564410000},"page":"4457-4462 vol.6","source":"Crossref","is-referenced-by-count":0,"title":["Model checking: towards generating a correct specification for logic controllers"],"prefix":"10.1109","author":[{"family":"Xiying Weng","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"L.","family":"Litz","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"3","doi-asserted-by":"publisher","DOI":"10.1109\/ICSMC.1998.725375"},{"journal-title":"Petri Nets and Grafcet Tools for Modeling Discrete Event Systems","year":"1992","author":"david","key":"2"},{"journal-title":"Modeling Simulation and Control of Flexible Manufacturing Systems - A Petri Net Approach","year":"0","author":"zhou","key":"10"},{"journal-title":"Model checking","year":"1999","author":"clarke","key":"1"},{"year":"0","key":"7"},{"article-title":"Modulare Modellbildung, Synthese und Codegenerierung ereignis-diskreter Steruerungs-systems","year":"1996","author":"rausch","key":"6"},{"key":"5","doi-asserted-by":"publisher","DOI":"10.1109\/5.24143"},{"article-title":"Ein integriertes Steuerungsentwurfs - und Verifikationskonzept mit Hilfe interpretierter Petri-Netze","year":"1996","author":"jo?rns","key":"4"},{"key":"9","first-page":"2748","article-title":"Model checking of signal interpreted petri nets","author":"weng","year":"0","journal-title":"Proceedings of IEEE SMC 2001 Tuscon (AZ) USA"},{"key":"8","article-title":"Verification of logic control design using SIPN and model checking - Methods and case study","author":"weng","year":"0","journal-title":"Proceeding of American Control Conference ACC'2000 June 28 - 30 2000 Chicago USA"}],"event":{"name":"Proceedings of 2002 American Control Conference","start":{"date-parts":[[2002,5,8]]},"location":"Anchorage, AK, USA","end":{"date-parts":[[2002,5,10]]}},"container-title":["Proceedings of the 2002 American Control Conference (IEEE Cat. No.CH37301)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/7965\/22047\/01025352.pdf?arnumber=1025352","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,3,10]],"date-time":"2017-03-10T17:01:59Z","timestamp":1489165319000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/1025352\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2002]]},"references-count":10,"URL":"https:\/\/doi.org\/10.1109\/acc.2002.1025352","relation":{},"subject":[],"published":{"date-parts":[[2002]]}}}