库所耦合网的T-不变量求解算法

An Algorithm for Computing T-Invariants in Place Coupling Nets

首先定义了库所耦合网及相关概念,其次揭示了库所耦合网N中各个分支网的T-不变量同N的T-不变量之间的关系,然后给出了一个库所耦合网的T-不变量求解算法,最后将该算法实现并给出初步实验数据,以说明所提算法比现有算法节省计算时间和存储空间。

First, Place Coupling Nets （PCN） and related concepts are defined. Second, the relationship between the T-invariants of the PCN and its branches nets are presented, Third, an algorithm for computing T-invariants in PCN is given. Finally, the algorithm is implemented and elementary experimental data are obtained which show that the presented algorithm has advantages in saving computation time and memory over the existing method.