E. Messina et A. Sciomachen, EVALUATION OF RESOURCE-ALLOCATION POLICIES IN A PRODUCTION LINE USINGPETRI NETS, Robotics and computer-integrated manufacturing, 10(6), 1993, pp. 413-422
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.