Abstract: In this paper, the model of multi-resource share system is built with Petri net. The safety and non-deadlock of the system are discussed. The conditions for deadlock existence are pointed out and the control tools for antideadlock are given. By analysing a practical system, the correctness and viability of our model are examed.

Key words: resource share, Petri net model, safety, non-deadlock