Invariant Conservation Condition for the Replacement Operation of Petri Nets
Petri网替换运算的不变量保持条件

The invariant conservation condition for the replacement operation of Petri nets was proposed.One can obtain the T-invariant(or S-invariant)of the refined model N ' using the T-invariant(or S-invariant)of the original model N and sub-system model N1.Thus the information about the T-invariant(or S-invariant)already known is fully used,and a great deal of computation cost is saved.