{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,18]],"date-time":"2025-10-18T23:07:17Z","timestamp":1760828837330,"version":"3.28.0"},"reference-count":19,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2008,12]]},"DOI":"10.1109\/wsc.2008.4736071","type":"proceedings-article","created":{"date-parts":[[2009,1,14]],"date-time":"2009-01-14T18:48:38Z","timestamp":1231958918000},"page":"222-228","source":"Crossref","is-referenced-by-count":17,"title":["PLCStudio: Simulation based PLC code verification"],"prefix":"10.1109","author":[{"given":"Sang C.","family":"Park","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Chang Mok","family":"Park","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Gi-Nam","family":"Wang","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jongeun","family":"Kwak","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Sungjoo","family":"Yeo","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"year":"0","key":"19"},{"key":"17","doi-asserted-by":"publisher","DOI":"10.1007\/BF00572403"},{"year":"0","key":"18"},{"key":"15","doi-asserted-by":"publisher","DOI":"10.1109\/ACC.2000.878725"},{"key":"16","first-page":"929","article-title":"a plc-based design for the sequence controller in discrete event systems","author":"lee","year":"2000","journal-title":"Proceedings of the 2000 IEEE International Conference on Control Applications"},{"year":"0","key":"13"},{"key":"14","doi-asserted-by":"publisher","DOI":"10.1016\/S1569-190X(02)00100-4"},{"year":"0","key":"11"},{"key":"12","doi-asserted-by":"publisher","DOI":"10.1016\/S0007-8506(07)62350-6"},{"key":"3","doi-asserted-by":"publisher","DOI":"10.1016\/S0360-8352(97)00127-7"},{"key":"2","doi-asserted-by":"publisher","DOI":"10.1016\/j.advengsoft.2004.11.002"},{"key":"1","first-page":"2","article-title":"a systematic procedure for designing state combination circuits in plcs","volume":"15","author":"chuang","year":"1999","journal-title":"Journal of Industrial Technology"},{"key":"10","doi-asserted-by":"publisher","DOI":"10.1016\/B978-008043711-8\/50044-1"},{"journal-title":"Multifacetted Modeling and Discrete Event Simulation","year":"1984","author":"zeigler","key":"7"},{"key":"6","doi-asserted-by":"publisher","DOI":"10.1016\/S0166-3615(98)00094-3"},{"key":"5","doi-asserted-by":"publisher","DOI":"10.1016\/S0166-3615(98)00117-1"},{"key":"4","doi-asserted-by":"publisher","DOI":"10.1016\/S0360-8352(96)00198-2"},{"journal-title":"Fundamentals of Modern Manufacturing","year":"2006","author":"groover","key":"9"},{"journal-title":"DEVSIM++ User's Manual","year":"1994","author":"kim","key":"8"}],"event":{"name":"2008 Winter Simulation Conference (WSC)","start":{"date-parts":[[2008,12,7]]},"location":"Miami, FL, USA","end":{"date-parts":[[2008,12,10]]}},"container-title":["2008 Winter Simulation Conference"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/4712635\/4736042\/04736071.pdf?arnumber=4736071","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,5]],"date-time":"2019-04-05T02:28:16Z","timestamp":1554431296000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/4736071\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008,12]]},"references-count":19,"URL":"https:\/\/doi.org\/10.1109\/wsc.2008.4736071","relation":{},"subject":[],"published":{"date-parts":[[2008,12]]}}}