Systematization of the project of the production system control

The flexible production systems (FPSs) execute multiple processes simultaneously using the same set of resources. These processes can be blocked permanently due to lack of information about sequence of the activities of the processes; i.e. the processes sharing a finite set of resources may eventually freeze or the system comes in the deadlock state. Another aspect is about the dynamic behavior of FPSs. The FPSs belong to the class of discrete event systems (DESs); therefore, the dynamic behavior is based on the occurrence of events. In this context, it is not possible to determine when an event occurs and the sequence of events becomes indefinite. Such systems can be classified as complex production systems and these systems can be modeled using Petri net. This work adopts a method that boards the deadlock problem considering the complexity of FPSs. The goal of this work is to introduce the systematization of the method, in other words, introduce an algorithmic approach. This approach allows the implementation of a computational tools which, given some information about FPSs, generates automatically the algorithm of control of resources utilization and the control rules with the goal of avoiding the deadlock.