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

Xiaoyu Hu, Yonghui Liang, Shibo Zhu, Hui Li, Shanying Zhu

Browse the full INDIN paper archive.