共 4 条
求有效极小（受控）可重复向量的一个算法
被引：14
作者：
蒋昌俊
机构：
[1] 山东矿业学院应用数学与软件工程系
来源：
关键词：
Petri网;
有效增向量;
有效减向量;
有效传递向量;
D O I：
暂无
中图分类号：
TP301.6 [算法理论];
学科分类号：
摘要：
文献［１］基于有效（受控）可重复向量，给出了判定一个标准Ｐｅｔｒｉ网产生的语言分别为正规语言或上下文无关语言的充要条件．然而，求取一个标准Ｐｅｔｒｉ网的有效（受控）可重复向量是判定网语言属型的前提条件．文献［１］没有给出求取它们的方法，本文提出一个算法，使得文献［１］判据可实现．此外，作为副产品，同时产生出网的所有极小Ｔ－不变量以及公平性判定的实现．
引用
收藏
页码：580 / 587
页数：8
相关论文