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

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