摘要
文献［１］基于有效（受控）可重复向量，给出了判定一个标准Ｐｅｔｒｉ网产生的语言分别为正规语言或上下文无关语言的充要条件．然而，求取一个标准Ｐｅｔｒｉ网的有效（受控）可重复向量是判定网语言属型的前提条件．文献［１］没有给出求取它们的方法，本文提出一个算法，使得文献［１］判据可实现．此外，作为副产品，同时产生出网的所有极小Ｔ－不变量以及公平性判定的实现．
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.
出处
《计算机学报》
EI
CSCD
北大核心
1994年第8期580-587,共8页
Chinese Journal of Computers
基金
国家自然科学基金
中科院自动化所复杂系统控制开放实验室基金
关键词
PETRI网
有效重复向量
算法
Petri net,effective increasing vector,effective decreasing vector,effective transitive vector
