求有效极小（受控）可重复向量的一个算法  

AN ALGORITHM FOR FINDING EFFECTIVE(CONTROLLED)REPETITIVE VECTORS

作　　者：蒋昌俊[1] 

机构地区：[1]山东矿业学院应用数学与软件工程系

出　　处：《计算机学报》1994年第8期580-587,共8页Chinese Journal of Computers

基　　金：国家自然科学基金;中科院自动化所复杂系统控制开放实验室基金

摘　　要：文献［１］基于有效（受控）可重复向量，给出了判定一个标准Ｐｅｔｒｉ网产生的语言分别为正规语言或上下文无关语言的充要条件．然而，求取一个标准Ｐｅｔｒｉ网的有效（受控）可重复向量是判定网语言属型的前提条件．文献［１］没有给出求取它们的方法，本文提出一个算法，使得文献［１］判据可实现．此外，作为副产品，同时产生出网的所有极小Ｔ－不变量以及公平性判定的实现．This paper proposes an algorithm for computing effective and repeatable vectors of a canonical Petri net,as well as all minimum T-invariants which make it possible to decide the fairness of a Petri net.

关 键 词：PETRI网 有效重复向量 算法 

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