{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,26]],"date-time":"2025-10-26T13:56:37Z","timestamp":1761486997254},"reference-count":16,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2002]]},"DOI":"10.1109\/acc.2002.1024579","type":"proceedings-article","created":{"date-parts":[[2003,6,25]],"date-time":"2003-06-25T18:06:50Z","timestamp":1056564410000},"page":"4141-4146 vol.5","source":"Crossref","is-referenced-by-count":14,"title":["Controller design for an FMS using Signal Interpreted Petri Nets and SFC: Validation of both descriptions via model-checking"],"prefix":"10.1109","author":[{"given":"S.","family":"Klein","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"family":"Xiying Weng","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"G.","family":"Frey","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"J.-J.","family":"Lesage","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"L.","family":"Litz","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1109\/ICSMC.2000.884359"},{"key":"ref11","first-page":"2748","article-title":"Model checking of Signal Interpreted Petri Nets","author":"weng","year":"2001","journal-title":"Proc of the IEEE international Conference on Systems Man and Cybernetics SMC 2001"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/ICSMC.2000.884356"},{"journal-title":"Programmable Controllers - Programming Languages","year":"1999","key":"ref13"},{"journal-title":"IEC International Standard 60848","article-title":"Preparation of Function Charts for Control Systems","year":"1988","key":"ref14"},{"key":"ref15","first-page":"189","article-title":"PLC programming for Hybrid systems via SIPN","author":"frey","year":"2000","journal-title":"Proc of the 4th International Conference Automation of Mixed Processes ADPM 2000"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4615-4493-7_25"},{"journal-title":"Technical Report 119\/2001","year":"2001","author":"frey","key":"ref4"},{"key":"ref3","first-page":"c-2a-15","article-title":"Formal verification of PLC-programs","author":"filkron","year":"1999","journal-title":"Proc of the 14th World Congress of IFAC"},{"key":"ref6","first-page":"758","article-title":"Validation and Verification of grafcets using finite state machine","author":"roussel","year":"1996","journal-title":"Proc of IMACS-IEEE CESA'96t1"},{"key":"ref5","article-title":"Guidelines for Verifying and Validating Software Requirements and Design Specifications","author":"boehm","year":"1979","journal-title":"Proc EURO IFIP 79"},{"key":"ref8","article-title":"Formal Validation of PLC programs: a Survey","author":"lamp\u00e9ri\u00e8re-couffin","year":"1999","journal-title":"Proc of ECC'99 EUCA (European Union Control Association) - IFAC-IEEE Control Systems Society"},{"article-title":"Systems and Software Verifi-cation, Model-Checking Techniques-and Tools","year":"2001","author":"b\u00e9rard","key":"ref7"},{"key":"ref2","article-title":"Documentation and Control Scenarios for a Flexible Manufacturing Line","author":"maas","year":"2001","journal-title":"Technical Report 117\/2001"},{"year":"0","key":"ref1"},{"journal-title":"Cadence SMV-Symbolic model checker","year":"0","author":"mc millan","key":"ref9"}],"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\/22028\/01024579.pdf?arnumber=1024579","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,3,10]],"date-time":"2017-03-10T19:05:16Z","timestamp":1489172716000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/1024579\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2002]]},"references-count":16,"URL":"https:\/\/doi.org\/10.1109\/acc.2002.1024579","relation":{},"subject":[],"published":{"date-parts":[[2002]]}}}