登录    注册    忘记密码

期刊文章详细信息

S-组合Petri网的活性分析与实现  ( EI收录)  

ANALYSIS AND IMPLEMENTATION OF LIVENESS OF S-COMPOSITION PETRI NET

  

文献类型:期刊文章

作  者:杜玉越[1] 李孝忠[1]

机构地区:[1]聊城师范学院计算机科学系,聊城252059

出  处:《计算机学报》

基  金:山东省自然科学基金!Y97G08108

年  份:1998

卷  号:21

期  号:8

起止页码:747-752

语  种:中文

收录情况:BDHX、BDHX1996、CSA、CSA-PROQEUST、CSCD、CSCD2011_2012、EI(收录号:1998124500606)、IC、INSPEC、JST、MR、RCCSE、SCOPUS、ZGKJHX、核心刊

摘  要:设∑1=(N1,M1),∑2=(N2,M2)是两个Petri网,且不含有冻结标志,Ni=(Si,Ti;Fi),i=1,2,T1∩T2=Φ,S1∩S2≠Φ,本文定义了∑1,∑2的S-组合Petri网∑s,通过引入Petri网互逆位置序偶的概念,深入研究了义的活性,给出了∑s有界活的几个判定条件.若∑1,∑2是两个活的Petri网,最后提出了一种实现S-组合Petri网活性的控制装置.

关 键 词:PETRI网 S-组合  活性控制  活性分析 计算机网络

分 类 号:TP393]

参考文献:

正在载入数据...

二级参考文献:

正在载入数据...

耦合文献:

正在载入数据...

引证文献:

正在载入数据...

二级引证文献:

正在载入数据...

同被引文献:

正在载入数据...

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