期刊文章详细信息
文献类型:期刊文章
机构地区:[1]山东矿业学院应用数学与软件工程系
基 金:国家自然科学基金;中科院自动化所复杂系统控制开放实验室基金
年 份:1994
卷 号:17
期 号:8
起止页码:580-587
语 种:中文
收录情况:BDHX、BDHX1992、CSA、CSA-PROQEUST、CSCD、CSCD2011_2012、EI、INSPEC、JST、MR、SCOPUS、ZGKJHX、核心刊
摘 要:文献[1]基于有效(受控)可重复向量,给出了判定一个标准Petri网产生的语言分别为正规语言或上下文无关语言的充要条件.然而,求取一个标准Petri网的有效(受控)可重复向量是判定网语言属型的前提条件.文献[1]没有给出求取它们的方法,本文提出一个算法,使得文献[1]判据可实现.此外,作为副产品,同时产生出网的所有极小T-不变量以及公平性判定的实现.
关 键 词:PETRI网 有效重复向量 算法
分 类 号:TP301.6]
参考文献:
正在载入数据...
二级参考文献:
正在载入数据...
耦合文献:
正在载入数据...
引证文献:
正在载入数据...
二级引证文献:
正在载入数据...
同被引文献:
正在载入数据...