Preprint Article Version 1 Preserved in Portico This version is not peer-reviewed

Petri Net-Based Semi-Compiled Code Generation for Programmable Logic Controllers

Version 1 : Received: 28 July 2021 / Approved: 30 July 2021 / Online: 30 July 2021 (09:03:34 CEST)

A peer-reviewed article of this Preprint also exists.

Azkarate, I.; Ayani, M.; Mugarza, J.C.; Eciolaza, L. Petri Net-Based Semi-Compiled Code Generation for Programmable Logic Controllers. Appl. Sci. 2021, 11, 7161. Azkarate, I.; Ayani, M.; Mugarza, J.C.; Eciolaza, L. Petri Net-Based Semi-Compiled Code Generation for Programmable Logic Controllers. Appl. Sci. 2021, 11, 7161.

Journal reference: Appl. Sci. 2021, 11, 7161
DOI: 10.3390/app11157161

Abstract

Industrial discrete event dynamic systems (DEDSs) are commonly modelled by means of Petri nets (PNs). PNs have the capability to model behaviours such as concurrency, synchronization, and resource sharing, compared to a GRAphe Fonctionnel de Commande Etape Transition (GRAFCET) which is a particular case of a PN. However, there is not a systematic way to implement a PN in a programmable logic controller (PLC), and so it is very common the implementation of such a controller outside a PLC, in some external software that will communicate with the PLC. There have been some attempts to implement PNs within a PLC, but they are dependent on how the logic of places and transitions is programmed for each application. This work proposes a novel application-independent and platform-independent PN implementation methodology. This methodology is a systematic way to implement a PN controller within industrial PLCs. A great portion of the code will be validated automatically prior to PLC implementation. Net structure and marking evolution will be checked on the basis of PN model structural analysis, and only net interpretation will be manually coded and error-prone. Thus, this methodology represents a systematic and semi-compiled PN implementation method. A use case supported by a digital twin (DT) is shown where the automated solution required by a manufacturing system is carried out and executed in two different devices for portability testing, and the scan cycle periods are compared for both approaches.

Keywords

Petri nets; programmable logic controllers; process modelling; digital twin

Comments (0)

We encourage comments and feedback from a broad range of readers. See criteria for comments and our diversity statement.

Leave a public comment
Send a private comment to the author(s)
Views 0
Downloads 0
Comments 0
Metrics 0


×
Alerts
Notify me about updates to this article or when a peer-reviewed version is published.
We use cookies on our website to ensure you get the best experience.
Read more about our cookies here.