{"id":"https://openalex.org/W4405306253","doi":"https://doi.org/10.1109/indin58382.2024.10774532","title":"ST-Petri: A Visual Executable Semantic Model for PLC Structured Text Language","display_name":"ST-Petri: A Visual Executable Semantic Model for PLC Structured Text Language","publication_year":2024,"publication_date":"2024-08-18","ids":{"openalex":"https://openalex.org/W4405306253","doi":"https://doi.org/10.1109/indin58382.2024.10774532"},"language":"en","primary_location":{"id":"doi:10.1109/indin58382.2024.10774532","is_oa":false,"landing_page_url":"https://doi.org/10.1109/indin58382.2024.10774532","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2024 IEEE 22nd International Conference on Industrial Informatics (INDIN)","raw_type":"proceedings-article"},"type":"conference-paper","indexed_in":["crossref"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":null,"display_name":"Xiaoyu Hu","orcid":null},"institutions":[{"id":"https://openalex.org/I183067930","display_name":"Shanghai Jiao Tong University","ror":"https://ror.org/0220qvk04","country_code":"CN","type":"education","lineage":["https://openalex.org/I183067930"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Xiaoyu Hu","raw_affiliation_strings":["Shanghai Jiao Tong University,Department of Automation,Shanghai,China,200240"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Shanghai Jiao Tong University,Department of Automation,Shanghai,China,200240","institution_ids":["https://openalex.org/I183067930"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5088266767","display_name":"Yonghui Liang","orcid":"https://orcid.org/0000-0001-6748-6429"},"institutions":[{"id":"https://openalex.org/I183067930","display_name":"Shanghai Jiao Tong University","ror":"https://ror.org/0220qvk04","country_code":"CN","type":"education","lineage":["https://openalex.org/I183067930"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Yonghui Liang","raw_affiliation_strings":["Shanghai Jiao Tong University,Department of Automation,Shanghai,China,200240"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Shanghai Jiao Tong University,Department of Automation,Shanghai,China,200240","institution_ids":["https://openalex.org/I183067930"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5101618249","display_name":"Shibo Zhu","orcid":"https://orcid.org/0000-0002-3394-3596"},"institutions":[{"id":"https://openalex.org/I183067930","display_name":"Shanghai Jiao Tong University","ror":"https://ror.org/0220qvk04","country_code":"CN","type":"education","lineage":["https://openalex.org/I183067930"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Shibo Zhu","raw_affiliation_strings":["Shanghai Jiao Tong University,Department of Automation,Shanghai,China,200240"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Shanghai Jiao Tong University,Department of Automation,Shanghai,China,200240","institution_ids":["https://openalex.org/I183067930"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5100423875","display_name":"Hui Li","orcid":"https://orcid.org/0000-0002-2860-694X"},"institutions":[{"id":"https://openalex.org/I183067930","display_name":"Shanghai Jiao Tong University","ror":"https://ror.org/0220qvk04","country_code":"CN","type":"education","lineage":["https://openalex.org/I183067930"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Hui Li","raw_affiliation_strings":["Shanghai Jiao Tong University,Department of Automation,Shanghai,China,200240"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Shanghai Jiao Tong University,Department of Automation,Shanghai,China,200240","institution_ids":["https://openalex.org/I183067930"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5007013035","display_name":"Shanying Zhu","orcid":"https://orcid.org/0000-0003-4860-4519"},"institutions":[{"id":"https://openalex.org/I183067930","display_name":"Shanghai Jiao Tong University","ror":"https://ror.org/0220qvk04","country_code":"CN","type":"education","lineage":["https://openalex.org/I183067930"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Shanying Zhu","raw_affiliation_strings":["Shanghai Jiao Tong University,Department of Automation,Shanghai,China,200240"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Shanghai Jiao Tong University,Department of Automation,Shanghai,China,200240","institution_ids":["https://openalex.org/I183067930"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":[],"corresponding_institution_ids":["https://openalex.org/I183067930"],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":false,"cited_by_count":1,"citation_normalized_percentile":null,"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"1","last_page":"6"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10703","display_name":"Business Process Modeling and Analysis","score":0.9769999980926514,"subfield":{"id":"https://openalex.org/subfields/1404","display_name":"Management Information Systems"},"field":{"id":"https://openalex.org/fields/14","display_name":"Business, Management and Accounting"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}},"topics":[{"id":"https://openalex.org/T10703","display_name":"Business Process Modeling and Analysis","score":0.9769999980926514,"subfield":{"id":"https://openalex.org/subfields/1404","display_name":"Management Information Systems"},"field":{"id":"https://openalex.org/fields/14","display_name":"Business, Management and Accounting"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}},{"id":"https://openalex.org/T10317","display_name":"Advanced Database Systems and Queries","score":0.9624999761581421,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10215","display_name":"Semantic Web and Ontologies","score":0.9375,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/executable","display_name":"Executable","score":0.8525630235671997},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.8271482586860657},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.6942397356033325},{"id":"https://openalex.org/keywords/petri-net","display_name":"Petri net","score":0.6459203362464905},{"id":"https://openalex.org/keywords/natural-language-processing","display_name":"Natural language processing","score":0.5754009485244751},{"id":"https://openalex.org/keywords/visual-language","display_name":"Visual language","score":0.4773845076560974},{"id":"https://openalex.org/keywords/petri-dish","display_name":"Petri dish","score":0.4195585548877716},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.4109104871749878},{"id":"https://openalex.org/keywords/linguistics","display_name":"Linguistics","score":0.1374114751815796}],"concepts":[{"id":"https://openalex.org/C160145156","wikidata":"https://www.wikidata.org/wiki/Q778586","display_name":"Executable","level":2,"score":0.8525630235671997},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8271482586860657},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.6942397356033325},{"id":"https://openalex.org/C38677869","wikidata":"https://www.wikidata.org/wiki/Q724168","display_name":"Petri net","level":2,"score":0.6459203362464905},{"id":"https://openalex.org/C204321447","wikidata":"https://www.wikidata.org/wiki/Q30642","display_name":"Natural language processing","level":1,"score":0.5754009485244751},{"id":"https://openalex.org/C2780878386","wikidata":"https://www.wikidata.org/wiki/Q1659648","display_name":"Visual language","level":2,"score":0.4773845076560974},{"id":"https://openalex.org/C146763376","wikidata":"https://www.wikidata.org/wiki/Q81714","display_name":"Petri dish","level":2,"score":0.4195585548877716},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.4109104871749878},{"id":"https://openalex.org/C41895202","wikidata":"https://www.wikidata.org/wiki/Q8162","display_name":"Linguistics","level":1,"score":0.1374114751815796},{"id":"https://openalex.org/C54355233","wikidata":"https://www.wikidata.org/wiki/Q7162","display_name":"Genetics","level":1,"score":0.0},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.0},{"id":"https://openalex.org/C86803240","wikidata":"https://www.wikidata.org/wiki/Q420","display_name":"Biology","level":0,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/indin58382.2024.10774532","is_oa":false,"landing_page_url":"https://doi.org/10.1109/indin58382.2024.10774532","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2024 IEEE 22nd International Conference on Industrial Informatics (INDIN)","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G1081287695","display_name":null,"funder_award_id":"2022YFB3303900","funder_id":"https://openalex.org/F4320335777","funder_display_name":"National Key Research and Development Program of China"}],"funders":[{"id":"https://openalex.org/F4320335777","display_name":"National Key Research and Development Program of China","ror":null}],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":19,"referenced_works":["https://openalex.org/W1546770909","https://openalex.org/W2042801853","https://openalex.org/W2095572349","https://openalex.org/W2108748002","https://openalex.org/W2131306746","https://openalex.org/W2153886021","https://openalex.org/W2158721284","https://openalex.org/W2954552517","https://openalex.org/W2995075587","https://openalex.org/W3030519307","https://openalex.org/W3033777149","https://openalex.org/W3089414297","https://openalex.org/W3153491905","https://openalex.org/W4310514144","https://openalex.org/W4312363798","https://openalex.org/W4386248840","https://openalex.org/W4386737342","https://openalex.org/W4388820516","https://openalex.org/W6799284410"],"related_works":["https://openalex.org/W3125248252","https://openalex.org/W2069614234","https://openalex.org/W1967576338","https://openalex.org/W224189422","https://openalex.org/W82161441","https://openalex.org/W1576042299","https://openalex.org/W2181943964","https://openalex.org/W1528423264","https://openalex.org/W4246664336","https://openalex.org/W1924502949"],"abstract_inverted_index":{"As":[0],"very":[1],"important":[2],"controllers":[3],"in":[4,129],"automated":[5],"facto-ries,":[6],"the":[7,20,23,32,88,91,113,116],"correctness":[8,89],"and":[9,16,46,99,111,135,142],"safety":[10],"of":[11,22,31,90,101,131],"Programmable":[12],"Logic":[13],"Controller":[14],"(PLC)":[15],"their":[17,51],"programs":[18,96,104],"determine":[19],"stability":[21],"production":[24],"process.":[25],"Structured":[26],"Text":[27],"(ST)":[28],"is":[29],"one":[30],"most":[33],"widely":[34],"used":[35],"PLC":[36],"programming":[37],"languages.":[38],"However,":[39],"there":[40],"are":[41],"not":[42],"enough":[43],"formal":[44],"semantics":[45,77],"different":[47],"venders":[48],"may":[49],"have":[50],"own":[52],"implementations.":[53],"In":[54],"this":[55],"work,":[56],"a":[57,106,139,143],"visual":[58],"executable":[59],"semantic":[60,92,140],"model":[61,69,141],"ST-Petri":[62,125],"for":[63],"ST":[64,76,144],"has":[65,126],"been":[66],"proposed.":[67],"The":[68],"uses":[70],"Petri":[71],"nets":[72],"to":[73,81,109],"formally":[74],"represent":[75],"while":[78],"using":[79],"graphs":[80],"visualise":[82],"program":[83,145],"control":[84],"flow.":[85],"To":[86],"validate":[87],"model,":[93],"we":[94],"use":[95],"from":[97],"Github":[98],"mutations":[100],"existing":[102],"source":[103,118],"as":[105,138],"test":[107],"set":[108],"execute":[110],"compare":[112],"results":[114,122],"with":[115],"open":[117],"OpenPLC":[119],"platform.":[120],"Experimental":[121],"show":[123],"that":[124],"significant":[127],"advantages":[128],"terms":[130],"compilation":[132],"pass":[133],"rate":[134],"error":[136],"indication":[137],"compiler.":[146]},"counts_by_year":[{"year":2026,"cited_by_count":1}],"updated_date":"2026-07-14T23:27:15.235271","created_date":"2025-10-10T00:00:00"}