Formal design on GHENeSys IEC-1131 compatible of discrete event systems with PLCs

Abstract

Although when is demonstrated the effectiveness of the modelling of Petri nets as a formal method of design automation with PLCs, with a strong interest in both teaching professionals such as engineering, their use in industrial solutions is not widespread, mainly given fact by the complexity of application that sometimes involves, as well as the limitations that still exist in the correspondence model-code program PLC. This paper discusses the use of a formal design methodology, which uses the extended hierarchical network GHENeSys IEC-1131 Compatible, to particular case of automation with PLCs of Discrete Event Systems. This has among its purposes to contribute to the solution of the above limitations.