DocumentCode :
3472816
Title :
Modeling of PLC behavior by means of timed net condition/event systems
Author :
Hanisch, H.-M. ; Thieme, J. ; Luder, Arndt ; Wienhold, O.
Author_Institution :
Dept. of Electr. Eng., Otto-von-Guericke Univ. of Magdeburg, Germany
fYear :
1997
fDate :
9-12 Sep 1997
Firstpage :
391
Lastpage :
396
Abstract :
Net condition/event systems (NCES) are a particular representation of the modeling paradigm of condition/event systems introduced by Sreenivas and Krogh (1991). 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 time-driven and since we intend to model timers as well, we extend the strictly causal, untimed model of NCES to a timed NCES (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
Keywords :
directed graphs; discrete event systems; programmable controllers; NCES; PLC behavior modeling; TNCES; automatic translator; discrete event systems; modular modeling; timed net condition/event systems; Automatic control; Automatic generation control; Automation; Control systems; Discrete event systems; Electrical equipment industry; IEC standards; Industrial control; Mathematical model; Programmable control;
fLanguage :
English
Publisher :
ieee
Conference_Titel :
Emerging Technologies and Factory Automation Proceedings, 1997. ETFA '97., 1997 6th International Conference on
Conference_Location :
Los Angeles, CA
Print_ISBN :
0-7803-4192-9
Type :
conf
DOI :
10.1109/ETFA.1997.616302
Filename :
616302
Link To Document :
بازگشت