登录    注册    忘记密码

期刊文章详细信息

求有效极小(受控)可重复向量的一个算法  ( EI收录)  

AN ALGORITHM FOR FINDING EFFECTIVE(CONTROLLED)REPETITIVE VECTORS

  

文献类型:期刊文章

作  者:蒋昌俊[1]

机构地区:[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]

参考文献:

正在载入数据...

二级参考文献:

正在载入数据...

耦合文献:

正在载入数据...

引证文献:

正在载入数据...

二级引证文献:

正在载入数据...

同被引文献:

正在载入数据...

版权所有©重庆科技学院 重庆维普资讯有限公司 渝B2-20050021-7
 渝公网安备 50019002500408号 违法和不良信息举报中心