Abstract: A scheme is obtained using a kind of Petri net refinement, according to process of some enterprise using a plant or workshop to produce some product. A TF-type subnet is defined. A refinement Petri net is obtained through using the kind of suhnet to repla

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