Petri网替换运算的不变量保持条件

Invariant Conservation Condition for the Replacement Operation of Petri Nets

提出了Petri网替换运算的不变量保持条件,根据这些条件,可以由轮廓模型N和子系统模型N1的T-不变量(S-不变量)得到加细模型N′的T-不变量(S-不变量),充分利用已知的轮廓模型N和子系统模型N1的T-不变量(S-不变量),避免从头处理加细模型N′,以达到节省计算开支的目的。

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.