Development of an informatic tool to model, control and simulate interpreted Petri nets

The demand and applications of automation in large manufacturing systems is increasing nowadays. Automated process can be modeled as discrete event systems such as Petri nets (PN). In these regulation control framework is an approach to apply control based on interpreted Petri nets (IPN). In order to apply the regulation control theory, it is necessary to model the plant and specification as IPN, next the controller is synthesized as an IPN as well. For the practical application of these methodologies, a software toolbox was developed in this thesis project. The toolbox capabilities are the modeling of IPN plants, modeling of IPN specifications, the composition of IPN, calculation of control IPN using the Regulation approach, and simulation applied to IPN.