【摘要】 文献［１］基于有效（受控）可重复向量，给出了判定一个标准Ｐｅｔｒｉ网产生的语言分别为正规语言或上下文无关语言的充要条件．然而，求取一个标准Ｐｅｔｒｉ网的有效（受控）可重复向量是判定网语言属型的前提条件．文献［１］没有给出求取它们的方法，本文提出一个算法，使得文献［１］判据可实现．此外，作为副产品，同时产生出网的所有极小Ｔ－不变量以及公平性判定的实现．更多还原

【Abstract】 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.更多还原