Controlling a flexible manufacturing system using a centralized supervisor based on parallel composition of Petri networks

The design and analysis of some algorithms for the implementation of supervisors corresponding to centralized systems using Petri networks is approached in this article. Starting from the basis of supervised control, namely, monitoring and controlling of discrete event systems via a central controller (supervisor), the paper proposes a method for supervised control using Petri net type models based on parallel composition of subsystems. To illustrate and validate the proposed method, a flexible manufacturing system based on a transport system with seven nodes is used.