Abstract: In order to solve some kinds of problems, such as customer＇s suing for compensation, a scheme is proposed using Petri nets refinements. A kind of subnet is defined. A refinement Petri net is obtained through using the kind of subnet to replace some transi

Key words: Petri nets, Refinement, Structural property, Liveness