The objective of this paper is to reduce the development time of a PLC (Programmable Logic
Controller) by automating the task of code generation. For this purpose, we applied t-MPSG …

Industry 4.0 has fostered the digital transformation of enterprises through the retrofitting or
replacement of traditional manufacturing processes with Cyber Physical Systems (CPS) …

Programmable logic controllers (PLCs) are complex cyber-physical systems which are
widely used in industry. This paper presents a robust approach to design and implement …

Recently, methods have been proposed for obtaining the ladder logic diagram (LLD) based
on the Petri net (PN). However, those resulting LLD are usually not in compact forms …

Programmable logic controllers (PLC) are used extensively for controlling discrete
processes. The PLC's versatility is based on its reprogrammability, but this versatility is …

Programmable Logic Controllers (PLCs) have been of great eminence in manufacturing
systems and will probably remain predominant for some time to come. To allow …

We have implemented an IEC 61131-3 IL (Instruction List) and ST (Structured Text) compiler
that will be part of an open source PLC. In doing so, several issues were found regarding the …

Sequential function chart (SFC) is a kind of representation form which has been defined in
the international standard IEC 1131-3 as a common element of languages of programmable …

The paper presents an approach which combines the formalism of Petri Nets and of model
checking in order to deliver correct and dependable PLC programs. Based on SIPNs, a …

Programmable logic controller (PLC) has been successfully used in industry over thirty
years. Its typical application covers a broad range of discrete event control from simple I/O …