An algorithm of deadlock prevention for flexible manufacturing systems
Yi‐Sheng Huang, MuDer Jeng · 2003
This paper present a new class of Petri nets called extended S/sup 3/PR (ES/sup 3/PR) for modeling manufacturing systems where only parts can interact with resources, and resources alone cannot interactive with one another. ES/sup 3/PR properly includes S/sup 3/PR, augmented marked graphs and sub-classes of RCN merged nets where firing a transition may only generate parallel process for parts. As a result, ES/sup 3/PR can model far more complex manufacturing process flows and resource sharing than these nets. In this paper, we also present an algorithm of deadlock prevention for the class Petri nets. This method is an iterative approach by adding two kinds of control places called ordinary control place and weighted control place to the original model to prevent siphons from being unmarked. We have obtained the relation of the algorithm and the liveness and reversibility of the controlled net. Finally, a flexible manufacturing example is presented for illustrating the method.