计算机科学
計算機科學
계산궤과학
COMPUTER SCIENCE
2014年
7期
153-156
,共4页
温世刚%罗继亮%倪会娟%陈雪琨
溫世剛%囉繼亮%倪會娟%陳雪琨
온세강%라계량%예회연%진설곤
可编程逻辑控制器%Petri网%梯形图%接通延时定时器
可編程邏輯控製器%Petri網%梯形圖%接通延時定時器
가편정라집공제기%Petri망%제형도%접통연시정시기
Programmable logic controller (PLC)%Petri nets%Ladder diagram%On-delay timer(TON)
针对可编程逻辑控制器(PLC)的接通延时定时器(TON),提出了其普通Petri网建模方法.将状态变量描述为库所对,将TON中的指令运算描述为变迁,从而将TON模块描述为一个普通Petri网结构.结果表明该Petri网能够准确地描述TON的动态行为,从而为PLC梯形图程序的形式化设计或验证提供了建模方法.
針對可編程邏輯控製器(PLC)的接通延時定時器(TON),提齣瞭其普通Petri網建模方法.將狀態變量描述為庫所對,將TON中的指令運算描述為變遷,從而將TON模塊描述為一箇普通Petri網結構.結果錶明該Petri網能夠準確地描述TON的動態行為,從而為PLC梯形圖程序的形式化設計或驗證提供瞭建模方法.
침대가편정라집공제기(PLC)적접통연시정시기(TON),제출료기보통Petri망건모방법.장상태변량묘술위고소대,장TON중적지령운산묘술위변천,종이장TON모괴묘술위일개보통Petri망결구.결과표명해Petri망능구준학지묘술TON적동태행위,종이위PLC제형도정서적형식화설계혹험증제공료건모방법.
