abstract
- © 2021 IEEE.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 high-level 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.