Instruction list verification using a Petri net semantics

被引：0

作者：

Heiner, M ^{[1
]}

Menzel, T ^{[1
]}

机构：

[1] Brandenburg Univ Technol, Dept Comp Sci, D-03013 Cottbus, Germany

来源：

1998 IEEE INTERNATIONAL CONFERENCE ON SYSTEMS, MAN, AND CYBERNETICS, VOLS 1-5 | 1998年

关键词：

D O I：

暂无

中图分类号：

TP3 [计算技术、计算机技术];

学科分类号：

0812 ;

摘要：

In order to adapt a Petri net based verification framework to programmable logic controllers, a Petri net semantics is introduced formally for a subset elf the standardized Instruction List language [IEC 1131-3]. For that purpose, the subset's syntax as well as static and operational semantics are specified strictly. Having that, the operational reference semantics is substituted by an equivalent Petri net semantics. Due to this prudent practice, the equivalence proof of the substitution step is obvious.

引用

页码：716 / 721

页数：6