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

The Validity of T Vector of the Process Section

作　　者：刘萍[1] LIU Ping(Department of Computer Science, Gansu Normal University for Nationalities, Hezuo Gansu 74700)

机构地区：[1]甘肃民族师范学院计算机科学系,甘肃合作747000

出　　处：《甘肃高师学报》2016年第12期60-61,共2页Journal of Gansu Normal Colleges

基　　金：甘肃民族师范学院院长基金(2013-16)

摘　　要：讨论了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.

关 键 词：PETRI网 进程段 有效可重复向量 有效受控可重复向量 

分 类 号：TP301[自动化与计算机技术—计算机系统结构]