| Modeling of PLC Behavior by Means of Timed Net Condition/Event Systems |
| H.-M.Hanisch |
| 关键词： |
| 主要内容：Net Condition/Event systems (abbr.: NCES) are a particular representation of the modeling paradigm of Condition/Event systems introduced by SREENIVAS and KROGH [SI. This paradigm allows modular modeling of discrete event systems.In this paper, we use NCES for modeling of PLC programs and their execution. Since the internal behavior of a PLC is timedriven and since we intend to model timers as well, we extend the strictly causal, untimed model of NCES to a timed model (Timed Net Condition/Event System, abbr.: TNCES).We demonstrate how this model is used to describe in detail the behavior of a PLC. An automatic translator which uses Instruction List as input and which generates a TNCES model of the PLC behavior has been developed. 'As a result, we achieve very realistic, mathematical models of a PLC which can be used either to simulate the PLC behavior or - together with models of the plant - to verify the control code... |
| 《1997 IEEE》 |
| 全文下载请进入http://hightech.stlib.cn/tpi_1/sysasp/include/index.asp |
微信公众号