关于进程段的T向量有效性

The Validity of T Vector of the Process Section

讨论了Petri网的可重复向量和受控可重复向量的有效性.对于有效可重复向量,给出另一个定义,并且证明两种定义是等价的.给出了有效受控可重复向量的必要条件.

In this paper, the effective repeatable vector and controlled repeatable vector of Petri net is discussed. Another definition of effective repeatable vector is given and proved that the two definitions are equivalence. The necessary condition for the effective controlled repeatable vector is also given.