A solution to the problem of deadlocks in concurrent systems using Petri nets and integer linear programming

摘要

The paper presents a new method for the deadlock problem in concurrent systems where a set of processes share a set of common resources. We apply the proposed approach to flexible manufacturing systems, modeled by means of Petri nets. This approach is based in the structural components of the Petri net, mainly in siphons. The problem is solved for a general class of systems where parts can follow different processing paths and no constraint is imposed about the type and number of resources to be used in each processing step.