RCPetri: a Matlab app for the synthesis of Petri net regulation controllers for industrial automation

RCPetri is a Matlab app designed to generate and simulate Petri net models, and to compute regulation controllers. The regulation control paradigm for Petri nets allows to compute sequence controllers for industrial automated systems from highlevel specifications. In this work, the functionalities of the RCPetri app are described, including the Petri net drawing and generation, the simulation, the synchronous composition operation, the automatic specification generation, the automatic control synthesis, and the automatic translation to PLC code for its implementation. An application example is presented to illustrate the use of the app.

Automated summary

RCPetri is a Matlab app that generates and simulates Petri net models and calculates regulation controllers for industrial automated systems. The app includes functionalities such as drawing and generating Petri nets, simulation, automatic specification generation, automatic control synthesis, and automatic translation to PLC code. An application example is provided to demonstrate the use of the app.