ST-Petri: A Visual Executable Semantic Model for PLC Structured Text Language

As very important controllers in automated facto-ries, the correctness and safety of Programmable Logic Controller (PLC) and their programs determine the stability of the production process. Structured Text (ST) is one of the most widely used PLC programming languages. However, there are not enough...

Full description

Bibliographic Details

Published in:	IEEE International Conference on Industrial Informatics (INDIN) pp. 1 - 6
Main Authors:	Hu, Xiaoyu, Liang, Yonghui, Zhu, Shibo, Li, Hui, Zhu, Shanying
Format:	Conference Proceeding
Language:	English
Published:	IEEE 18.08.2024
Subjects:	Petri nets PLC programming Process control Production Program processors Programmable logic devices Safety Semantics Software development management Stability analysis Structured text Visual executable semantics Visualization
ISSN:	2378-363X
Online Access:	Get full text
Tags:	Add Tag No Tags, Be the first to tag this record!