10.3969/j.issn.1001-2400.2000.02.025
一种顺序控制器的设计和验证方法
针对顺序控制任务,给出了一种基于Petri网的顺序控制器设计和验证方法.将顺序控制的规格说明描述为Petri网,传感器信号定义为变迁的属性,通过网的不变式理论对其加以验证.由于现有工控机和可编程序控制器并不支持基于Petri网的控制程序,所以研究了基于Petri网的控制器到梯形图的转换方法.
顺序控制器、Petri网、梯形图、可编程序控制器
27
TP278(自动化技术及设备)
2004-01-08(万方平台首次上网日期,不代表论文的发表时间)
共5页
243-247