Abstract: A scheme is obtained using a kind of Petri net refinement,according to process of some factory using several machines of a workshop to produce some parts. A PP type subnet is defined. A refinement Petri net is obtained through using the kind of subnet to

Key words: Petri nets, Refinement, Liveness, Boundedness, Reversibility, Fairness