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.
Sign-in/Register to access full text options 
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Schedule a callDisclaimer: All third-party content on this website/platform is and will remain the property of their respective owners and is provided on "as is" basis without any warranties, express or implied. Use of third-party content does not indicate any affiliation, sponsorship with or endorsement by them. Any references to third-party content is to identify the corresponding services and shall be considered fair use under The CopyrightLaw.
