文献

J-GLOBAL ID：201502297487062490   整理番号：15A0034127

通常Petriネットに基づくラダー図におけるモデル化遅延タイマ法【Powered by NICT】

Method for Modeling On-delay Timers in Ladder Diagrams Based on Ordinary Petri Nets

著者 (4件)： Wen Shigang (Coll. of Information Sci. and Engineering, Huaqiao Univ., Xiamen) ,  Luo Jiliang (Coll. of Information Sci. and Engineering, Huaqiao Univ., Xiamen) ,  Ni Huijuan (Coll. of Information Sci. and Engineering, Huaqiao Univ., Xiamen) ,  Chen Xuekun (Coll. of Information Sci. and Engineering, Huaqiao Univ., Xiamen)
資料名： Jisuanji Kexue  (Jisuanji Kexue)
巻： 41  号： 7  ページ： 153-156  発行年： 2014年 
JST資料番号： C2530A  ISSN： 1002-137X  資料種別： 逐次刊行物 (A)
記事区分： 原著論文  発行国： 中国 (CHN)  言語： 中国語 (ZH)

抄録/ポイント： 法は通常のPetriネットとしてプログラマブル論理コントローラ(PLC)の遅延タイマ(TON)をモデル化するために提案した。場所の対により表現される論理変数,PLCで実行されるべき命令は転移で表現した。結果として,TONは通常のPetriネットでモデル化した。結果は,PLCシステムの挙動は,Petriネットモデルの状態で表すことができることを示した。明らかに,この方法は,PLCプログラムの形式的設計と検証に用いることができる。Data from the ScienceChina, LCAS. Translated by JST【Powered by NICT】

シソーラス用語： *Petriネット ,  *モデリング ,  *タイマ ,  制御装置 ,  電力線通信
準シソーラス用語： *ラダー・ロジック , 【Automatic Indexing@JST】

分類 (1件)： 人工知能  (JE08000Z)

タイトルに関連する用語 (5件)： Petriネット ,  ラダー図 ,  モデル化 ,  遅延 ,  タイマ