{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,21]],"date-time":"2026-02-21T18:38:30Z","timestamp":1771699110444,"version":"3.50.1"},"reference-count":42,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","license":[{"start":{"date-parts":[[2025,1,1]],"date-time":"2025-01-01T00:00:00Z","timestamp":1735689600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0\/legalcode"}],"funder":[{"name":"Maintenance of Research Capacity Fund of the Department of Electrical and Computer Engineering, Rzeszow University of Technology","award":["PB23.EA.25.001"],"award-info":[{"award-number":["PB23.EA.25.001"]}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IEEE Access"],"published-print":{"date-parts":[[2025]]},"DOI":"10.1109\/access.2025.3567029","type":"journal-article","created":{"date-parts":[[2025,5,5]],"date-time":"2025-05-05T17:57:11Z","timestamp":1746467831000},"page":"85585-85596","source":"Crossref","is-referenced-by-count":1,"title":["Extended Sequential Function Chart"],"prefix":"10.1109","volume":"13","author":[{"ORCID":"https:\/\/orcid.org\/0000-0003-1096-4252","authenticated-orcid":false,"given":"Les\u0142aw","family":"Gniewek","sequence":"first","affiliation":[{"name":"Department of Electrical and Computer Engineering, Rzeszów University of Technology, Rzeszów, Poland"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Micha\u0142","family":"Markiewicz","sequence":"additional","affiliation":[{"name":"Department of Electrical and Computer Engineering, Rzeszów University of Technology, Rzeszów, Poland"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref1","article-title":"Kommunikation mit Automaten","volume":"1","author":"Petri","year":"1966"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0019981"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1016\/j.arcontrol.2018.04.006"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1007\/s10462-022-10161-0"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1007\/978-981-16-5203-5"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1007\/978-981-19-6309-4"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1007\/978-981-99-5154-3"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-031-48278-6"},{"key":"ref9","volume-title":"Diagramme Fonctionnel \u2018GRAFCET\u2019 Pour La Description Des Syst\u00e9mes Logiques De Commande","year":"1982"},{"key":"ref10","volume-title":"GRAFCET Specification Language for Sequential Function Charts","year":"2013"},{"key":"ref11","volume-title":"Programmable Controllers\u2014Part 3: Programming Languages","year":"2013"},{"key":"ref12","volume-title":"Chinese Standard in English, \/GB\/T 15969.3-2017","year":"2025"},{"issue":"1","key":"ref13","first-page":"27","article-title":"Discuss the programming method of sequential control with ladder diagram","volume":"1","author":"Gen-Yuan","year":"2021","journal-title":"J. Artif. Intell. Pract."},{"key":"ref14","volume-title":"System Manual, STEP 7 and WinCC Engineering V19","year":"2023"},{"key":"ref15","volume-title":"SFC Programming. CX-Programmer Ver. 9.x","year":"2022"},{"key":"ref16","volume-title":"Logix5000 Controllers Sequential Function Charts","year":"2024"},{"key":"ref17","volume-title":"EcoStruxure Control Expert. Program Languages and Structure","year":"2022"},{"key":"ref18","volume-title":"PL7 Micro\/Junior\/Pro. Description of the PL7 Software","year":"2008"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-27863-4_22"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1016\/j.conengprac.2004.11.011"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1109\/ACC.2000.879148"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.4236\/jsea.2015.89048"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1109\/CASE.2011.6042457"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-27863-4_28"},{"key":"ref25","first-page":"758","article-title":"Validation and verification of grafcets using state machine","volume-title":"Proc. IMACS-IEEE CESA","author":"Roussel"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1109\/CACSD.2004.1393850"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1109\/ACC.2007.4282937"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1016\/S0304-3975(00)00301-7"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2005.1583409"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4615-4493-7_25"},{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.1109\/TCST.2010.2047106"},{"key":"ref32","doi-asserted-by":"publisher","DOI":"10.1109\/TCST.2015.2388491"},{"key":"ref33","doi-asserted-by":"publisher","DOI":"10.1109\/ICSMC.2003.1245734"},{"key":"ref34","doi-asserted-by":"publisher","DOI":"10.1016\/S0098-1354(00)00484-1"},{"key":"ref35","doi-asserted-by":"publisher","DOI":"10.1109\/ICIT.2013.6505674"},{"key":"ref36","doi-asserted-by":"publisher","DOI":"10.1109\/NCETACS.2012.6203309"},{"key":"ref37","doi-asserted-by":"publisher","DOI":"10.1109\/ETFA.2013.6648109"},{"key":"ref38","doi-asserted-by":"publisher","DOI":"10.1109\/87.406973"},{"key":"ref39","doi-asserted-by":"publisher","DOI":"10.1109\/ITSC.2003.1252653"},{"key":"ref40","volume-title":"Petri Nets & Grafcet. Tools for Modelling Discrete Event Systems","author":"David","year":"1992"},{"key":"ref41","doi-asserted-by":"publisher","DOI":"10.1109\/TASE.2012.2226578"},{"key":"ref42","volume-title":"SIMATIC S7-1500 CPU 1518-3 PN (6ES7518-3AT10-0AB0)","year":"2024"}],"container-title":["IEEE Access"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx8\/6287639\/10820123\/10985738.pdf?arnumber=10985738","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,5,21]],"date-time":"2025-05-21T05:05:39Z","timestamp":1747803939000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/10985738\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025]]},"references-count":42,"URL":"https:\/\/doi.org\/10.1109\/access.2025.3567029","relation":{},"ISSN":["2169-3536"],"issn-type":[{"value":"2169-3536","type":"electronic"}],"subject":[],"published":{"date-parts":[[2025]]}}}