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...

Celý popis

Podrobná bibliografie

Vydáno v:	IEEE International Conference on Industrial Informatics (INDIN) s. 1 - 6
Hlavní autoři:	Hu, Xiaoyu, Liang, Yonghui, Zhu, Shibo, Li, Hui, Zhu, Shanying
Médium:	Konferenční příspěvek
Jazyk:	angličtina
Vydáno:	IEEE 18.08.2024
Témata:	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
On-line přístup:	Získat plný text
Tagy:	Přidat tag Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!