期刊文章详细信息
文献类型:期刊文章
机构地区:[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]
参考文献:
正在载入数据...
二级参考文献:
正在载入数据...
耦合文献:
正在载入数据...
引证文献:
正在载入数据...
二级引证文献:
正在载入数据...
同被引文献:
正在载入数据...