{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,21]],"date-time":"2025-05-21T05:27:31Z","timestamp":1747805251757},"reference-count":9,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2003]]},"DOI":"10.1109\/icsmc.2003.1245734","type":"proceedings-article","created":{"date-parts":[[2004,4,23]],"date-time":"2004-04-23T14:38:15Z","timestamp":1082731095000},"page":"4748-4753 vol.5","source":"Crossref","is-referenced-by-count":1,"title":["Design and analysis of sequential function charts using sensor-based stage Petri Nets"],"prefix":"10.1109","author":[{"family":"Shihsen Peng","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"MengChu","family":"Zhou","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1080\/0020754021000042364"},{"article-title":"Modeling, Simulation, and Control of Flexible - Manufacturing Systems –A Petri Net Approach","year":"1998","author":"zhou","key":"ref3"},{"key":"ref6","doi-asserted-by":"crossref","first-page":"1907","DOI":"10.1109\/ROBOT.2002.1014819","article-title":"Sensor-based stage Petri net modeling of PLC logic programs for discrete-event control design","author":"peng","year":"2002","journal-title":"Proc 2002 IEEE Int Conf Robot Autom"},{"key":"ref5","first-page":"140","article-title":"Sensor-based Petri net modeling for PLC stage programming of discrete-event control design","author":"peng","year":"2002","journal-title":"Proc of the SC12002 The 6th World Multiconference on Systematics Cybernetice and Informatics"},{"key":"ref8","first-page":"2682","article-title":"Conversion between ladder logic diagrams and Petri nets in discrete –event control design—a survey","author":"peng","year":"2001","journal-title":"Proc 2001 IEEE Int Conf Syst Man Cybern"},{"key":"ref7","first-page":"2706","article-title":"Petri net based PLC stage programming for discrete –event control design","author":"peng","year":"2001","journal-title":"Proc 2001 IEEE Int Conf Syst Man Cybern"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4471-2023-0_5"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/5326.661096"},{"article-title":"Petri Nets and Grafcet","year":"1992","author":"david","key":"ref1"}],"event":{"name":"SMC '03 Conference Proceedings. 2003 IEEE International Conference on Systems, Man and Cybernetics","start":{"date-parts":[[2003,10,8]]},"location":"Washington, DC, USA","end":{"date-parts":[[2003,10,8]]}},"container-title":["SMC'03 Conference Proceedings. 2003 IEEE International Conference on Systems, Man and Cybernetics. Conference Theme - System Security and Assurance (Cat. No.03CH37483)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/8811\/27913\/01245734.pdf?arnumber=1245734","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,2,11]],"date-time":"2022-02-11T20:05:55Z","timestamp":1644609955000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/1245734\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2003]]},"references-count":9,"URL":"https:\/\/doi.org\/10.1109\/icsmc.2003.1245734","relation":{},"subject":[],"published":{"date-parts":[[2003]]}}}