The deadlock protection method used in the production systems

The subject matter of that paper is the deadlock protection method. The proposed method enables to the sequential ordering of the processes realisation to prevent the system from the occurrence of the cycle of mutual expectations being one of the conditions necessary for the deadlock occurrence. The deadlock may take place only in the systems with the closed structure at the resources belonging to the basic cycle. The basic cycles are found using the procedures adopted from Graph Theory. It is possible because a graph is a model that enables description of a production system structure. The graph elementary contour is adequate to the basic cycle occurring in the production system structure. Thus, the identification of the basic cycle occurring in the production system structure requires identification of the elementary contour in the graph. For the elementary contour search the contour search algorithm is used.