In: Proceedings of the second IEEE International Conference on Systems, Man and Cybernetics (SMC'02), October 6-9, 2002, Hammamet, Tunisia, Volume 3. IEEE Computer Society Press, October 2002.
Abstract: This paper present a new class of Petri nets called extended from S3PR (ES3PR) for modeling manufacturing systems where only parts can interact with resources, and resources alone cannot interactive with one another. ES3PR properly includes S3PR, augmented marked graphs and sub-classes of RCN merged nets where firing a transition may only generate parallel process for parts. As a result, ES3PR 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.