J4

• 研究论文 • 上一篇    下一篇

一种顺序控制器的设计和验证方法

李志武;朱东波;马伯渊   

  1. 暂时无单位信息
  • 出版日期:2000-04-20 发布日期:2000-04-20

title

Authors   

  • Online:2000-04-20 Published:2000-04-20

摘要: 针对顺序控制任务,给出了一种基于Petri网的顺序控制器设计和验证方法。将顺序控制的规格说明描述为Petri网,传感器信号定义为变迁的属性,通过网的不变式理论对其加以验证。由于现有工控机和可编程序控制器并不支持Petri网的控制程序,所以研究了基于Petri网的控制器到梯形图的转换方法。(作者单位:西安电子科技大学 机电工程学院 陕西 西安 710071)

关键词: 顺序控制器, Petri网, 梯形图, 可编程序控制器

Key words: keywords

中图分类号: 

  • TP278