|
|
应用于PLC控制程序的Petri网执行模型
Executive Model of Petri Net Applied in the PLC Control Program
查看参考文献10篇
|
文摘
|
在现有的工业控制系统中经常使用PLC实现顺序控制、定时等功能.控制程序经常需要执行同步操作且输入开关量的触发时机具有不确定性,因此无法充分描述真实的执行过程.为此提出下述解决方法:首先在控制程序的编译阶段,使用Petri网建立网模型以表示程序执行逻辑,其次在控制程序的执行阶段,根据程序真实执行状况动态运行上述网模型,当程序运行结束时网模型停止执行,由此判断程序中存在的逻辑错误. |
|
其他语种文摘
|
In existing industrial control system,PLC(Programmable Logic Controller)is often applied to realize sequential control,timing and etc.For the reason that control program often performs synchronous control and the occasions of input switches triggered are undermined,it is inevitably to cause the problem that control program cannot describe real executing process of control program fully.In view of it this paper put forward a method as follows:Firstly,we can use Petri net to construct net model representing the control logic during the process of compiling control program,this model represents executing logic of the PLC program.Secondly,we can dynamically run the net model mentioned above according to the actual execution route of the control program until the program stops executing.So we can find out some of the logical errors. |
|
来源
|
计算机科学
,2009,36(10):150-152,159 【核心库】
|
|
关键词
|
Petri网
;
PLC
;
执行模型
;
抑止弧
|
|
地址
|
中国科学院力学研究所技术发展部, 北京, 100190
|
|
语种
|
中文 |
|
文献类型
|
研究性论文 |
|
ISSN
|
1002-137X |
|
学科
|
自动化技术、计算机技术 |
|
基金
|
科研院所技术开发专项基金
|
|
文献收藏号
|
CSCD:3694449
|
参考文献 共
10
共1页
|
|
1.
Yang Gong-yuan.
Theory and Application of Programmable Logic Controller,2004
|
CSCD被引
1
次
|
|
|
|
|
2.
Yah Ying-fu.
Foundation of Programmable Logic Controller,2005
|
CSCD被引
1
次
|
|
|
|
|
3.
Xie Ke-ming.
Theory and Program Design of Programmable Logic Controller,2003
|
CSCD被引
1
次
|
|
|
|
|
4.
Petri C A.
Communication with automata,1962
|
CSCD被引
7
次
|
|
|
|
|
5.
Relsig W. Petri nets,an introduction.
EATCS,Monograph on Theoretical Computer Science,1985
|
CSCD被引
1
次
|
|
|
|
|
6.
Zurawski R. Petri nets and industrial applications:a tutorial.
IEEE Transactions on Industrial Electronics,1994,41(6):567-583
|
CSCD被引
22
次
|
|
|
|
|
7.
Yuan Chong-yi.
Theory and Application of Petri Net,2005
|
CSCD被引
1
次
|
|
|
|
|
8.
Zaitsev D A. Invariant of timed petri nets.
CYBERNETICS AND SYSTEMS ANALYSIS,2004,40(2):226-237
|
CSCD被引
1
次
|
|
|
|
|
9.
van Aalst W.
Workflow management models,methods and systems,2002
|
CSCD被引
1
次
|
|
|
|
|
10.
Girault C.
Petri Net of System Engineering,2005
|
CSCD被引
1
次
|
|
|
|
|
|
了解气象卫星更多信息，请访问