EVALUATION OF RESOURCE-ALLOCATION POLICIES IN A PRODUCTION LINE USINGPETRI NETS

We analyse the flow of workpieces in Petri net models of production li nes, depending on different control policies and resource assignments. In particular, we show how an invariant-based algorithm can be used f or detecting and avoiding potential deadlocks in the system under cons ideration while reducing the number of states of its reachability grap h. A detailed description of the proposed methodology is given along w ith a case study whose possible deadlock situations are determined, an d all the resource allocation policies, which have to be modified in o rder to avoid their occurrence, are analysed.