摘要
针对顺序控制任务 ,给出了一种基于Petri网的顺序控制器设计和验证方法 .将顺序控制的规格说明描述为Petri网 ,传感器信号定义为变迁的属性 ,通过网的不变式理论对其加以验证 .由于现有工控机和可编程序控制器并不支持基于Petri网的控制程序 ,所以研究了基于Petri网的控制器到梯形图的转换方法 .
Presented in this paper are design and verification methods of Petri nets based controllers for sequential tasks. In the fact that industrial control computers and programmable logic controllers available do not support the Petri nets based control programs, an automatic approach to generating ladder logic diagrams from a Petri net based controller is developed with formal verification and validation.
出处
《西安电子科技大学学报》
EI
CAS
CSCD
北大核心
2000年第2期243-247,共5页
Journal of Xidian University
关键词
顺序控制器
PETRI网
梯形图
可编程序控制器
sequential controller
Petri net
ladder logic diagram
programmable logic controller
