Petri网弱公平性的判断被引量：14

CONDITIONS FOR DECIDING WEAK FAIR PETRI NET

下载PDF

导出

摘要本文提出了弱公平网的概念，并给出了判断一个Ｐｅｔｒｉ网是否是弱公平同的一组充分必要条件。 Concept of weak fair net is given in this paper,and a set of necessary and sufficient conditions which can be used to decide whether a Petri net is a weak fair net is put forward.

作者王培良吴哲辉

机构地区山东矿业学院应用数学与软件工程系

出处《计算机学报》 EI CSCD 北大核心 1994年第8期608-611,共4页 Chinese Journal of Computers

基金国家自然科学基金

关键词 PETRI网弱公平网秩矩阵 Petri net,weak fair net,rank,matrix

分类号 TP393 [自动化与计算机技术—计算机应用技术]

引文网络
相关文献

参考文献7

1吴哲辉,王培良.公平网的一个充分必要条件[J].科学通报,1990,35(16):1211-1213. 被引量：17
2王培良,吴哲辉.公平网的一组直接判断条件[J].计算机学报,1993,16(1):53-58. 被引量：21
3吴哲辉.有界Petri网的活性和公平性的分析与实现[J].计算机学报,1989,12(4):267-278. 被引量：58
4吴哲辉，PETRI网理论与系统模拟，1989年
5吴哲辉，1984年
6吴哲辉，1983年
7王培良，软件学报

二级参考文献7

1陆维明，中国科学.A，1987年
2吴哲辉，北京第一届国计算机及应用会议论文集（中文版），1984年
3J Frankl Institure，1985年，320卷，2期，63页
4吴哲辉，1984年
5吴哲辉，1983年
6吴哲辉,王培良.公平网的一个充分必要条件[J].科学通报,1990,35(16):1211-1213. 被引量：17
7吴哲辉.有界Petri网的活性和公平性的分析与实现[J].计算机学报,1989,12(4):267-278. 被引量：58

共引文献71

1李孝忠.Petri网的对偶运算及性质[J].陕西师范大学学报（自然科学版）,2001,29(S1):40-41. 被引量：1
2许安国,赵义军.几类合成网的性能分析[J].系统仿真学报,2005,17(z1):38-43.
3王培良,赵义军.最大速度恒定的连续Petri网(CCPN)的性质判定及分解[J].系统仿真学报,2005,17(z1):48-51.
4王培良,赵义军.Petri网的公平分解和守恒分解[J].系统仿真学报,2003,15(z1):43-45. 被引量：4
5段华,曾庆田.S-网的活性分析[J].小型微型计算机系统,2004,25(11):1975-1978. 被引量：5
6王培良,吴哲辉.公平网的一组直接判断条件[J].计算机学报,1993,16(1):53-58. 被引量：21
7庞善臣,蒋昌俊,孙萍,周长红.共享合成Petri网的性质分析[J].自动化学报,2004,30(6):944-948. 被引量：9
8曾庆田.基于库所指标分解的Petri网活性与公平性分析[J].小型微型计算机系统,2005,26(2):226-229. 被引量：6
9蒋昌俊.Petri网的广义笛积运算[J].自动化学报,1993,19(6):745-749. 被引量：23
10蒋昌俊.求有效极小（受控）可重复向量的一个算法[J].计算机学报,1994,17(8):580-587. 被引量：14

同被引文献95

1许安国,赵义军.无冲突可重复网极小活标识的配置[J].系统仿真学报,2003,15(z1):35-39. 被引量：3
2王培良,赵义军.Petri网的公平分解和守恒分解[J].系统仿真学报,2003,15(z1):43-45. 被引量：4
3邱经华,吴哲辉.可达性等价于状态方程可满足性的两个Petri-Nets子类[J].系统仿真学报,2003,15(z1):46-48. 被引量：3
4王培良,吴哲辉.公平网的一组直接判断条件[J].计算机学报,1993,16(1):53-58. 被引量：21
5许安国,吴哲辉.加权T图的活性分析[J].软件学报,1993,4(6):16-21. 被引量：6
6蒋昌俊.Petri网的广义笛积运算[J].自动化学报,1993,19(6):745-749. 被引量：23
7吴哲辉.Pumping引理的Petri网描述──Petri网语言属型的一组判定条件[J].计算机学报,1994,17(11):852-858. 被引量：33
8蒋昌俊.求有效极小（受控）可重复向量的一个算法[J].计算机学报,1994,17(8):580-587. 被引量：14
9王培良,蒋昌俊.利用关联矩阵的秩判断Petri网的公平性[J].软件学报,1994,5(12):24-29. 被引量：6
10蒋昌俊.加权T图的几种化简运算[J].通信学报,1994,15(2):97-103. 被引量：10

引证文献14

1王培良,赵义军.Petri网的公平分解和守恒分解[J].系统仿真学报,2003,15(z1):43-45. 被引量：4
2刘关俊,蒋昌俊,吴哲辉.基于T-不变量的可重复向量的求解算法[J].系统仿真学报,2007,19(A01):1-3. 被引量：3
3许安国,蒋昌俊.P/T网的化简运算及其性质研究[J].软件学报,1997,8(7):493-504. 被引量：13
4王斌国.Petri网分析方法综述[J].福建电脑,2007,23(10):43-45.
5许安国,吴哲辉.加权T－图的保性变换[J].计算机学报,1997,20(11):1038-1043. 被引量：4
6岳昊.Petri网系统的弱公平性判定[J].漳州师范学院学报（自然科学版）,2010,23(3):27-31.
7赵义军.自主连续Petri网的性质及判定方法[J].山东矿业学院学报,1999,18(2):89-92. 被引量：1
8王廷刚,吴哲辉.Petri网有界性和公平性关系的进一步研究[J].系统仿真学报,2008,20(S2):13-14. 被引量：1
9韩江洪,方华,刘小平.Petri网的公平性及分析[J].系统仿真学报,2012,24(3):521-535. 被引量：7
10宁华,蒋树强,吴哲辉.Petri网中的广义公平关系[J].计算机学报,2000,23(10):1102-1106. 被引量：6

二级引证文献38

1刘勇,吴哲辉.某类有界时序Petri网的原型网形式的转化[J].系统仿真学报,2005,17(z1):1-4.
2王培良,赵义军.最大速度恒定的连续Petri网(CCPN)的性质判定及分解[J].系统仿真学报,2005,17(z1):48-51.
3商作辉,刘胜辉,李继革.扩展Petri网在PPCES建模中的应用[J].哈尔滨商业大学学报（自然科学版）,2004,20(4):447-449.
4汪琳,乐晓波,李京京.基于Petri网的词法分析器的研究[J].长沙理工大学学报（自然科学版）,2004,1(3):57-62. 被引量：1
5周建涛,史美林,叶新铭.一种基于Petri网化简的工作流过程语义验证方法[J].软件学报,2005,16(7):1242-1251. 被引量：34
6闫春钢,蒋昌俊,李启炎.基于Petri网的Web服务组合与分析[J].计算机科学,2007,34(2):100-103. 被引量：16
7叶剑虹,宋文,孙世新.基于逻辑电路的Petri网化简方法[J].软件学报,2007,18(7):1553-1562. 被引量：4
8汪琳,乐晓波,陈国平.Petri网化简技术的研究[J].系统仿真学报,2007,19(A01):110-113. 被引量：1
9张继军,吴哲辉.有界Petri网的最小化化简[J].计算机科学,2007,34(11):26-28. 被引量：2
10匡迎春,沈岳,旷海兰.Petri网并分解动态性质的进一步研究[J].湖南科技学院学报,2007,28(12):59-61.

1邱长春.DTD的一致性[J].湖北教育学院学报,2007,24(2):23-25.
2胡泉,谢芳,陈伟.死锁定理与死锁的预防方法[J].高等函授学报（自然科学版）,2002,15(2):44-47. 被引量：1
3陈生海,罗水琼.基于粗集决策规则性质的研究[J].海峡科技与产业,2016,29(11):85-87.
4高平安,罗铸楷.布尔代数上的自动机[J].计算机工程,2004,30(24):22-23. 被引量：1
5董宇.根轨迹的分离点研究[J].软件,2012,33(9):109-111. 被引量：1
6杨锦尊.线性时不变系统的稳定性分析[J].国外电子元器件,2008(10):59-60.
7陈瑞阁,顾玲芳,徐泉,阎真真.一类多元决策问题[J].数学的实践与认识,2005,35(12):207-210. 被引量：2
8张俊,罗大庸.一类短时延网络控制系统的建模和稳定性[J].微计算机信息,2010,26(34):4-6.
9章毅,周明天,王平安.关于神经网络的能量函数[J].计算机研究与发展,1999,36(7):794-799. 被引量：7
10侯晓丽.不确定非线性时滞系统的无源控制[J].郑州轻工业学院学报（自然科学版）,2009,24(2):53-55.

计算机学报

1994年第8期

浏览历史

内容加载中请稍等...

Petri网弱公平性的判断被引量：14

参考文献7

二级参考文献7

共引文献71

同被引文献95

引证文献14

二级引证文献38

相关作者

相关机构

相关主题

浏览历史

Petri网弱公平性的判断 被引量：14

参考文献7

二级参考文献7

共引文献71

同被引文献95

引证文献14

二级引证文献38

相关作者

相关机构

相关主题

浏览历史

Petri网弱公平性的判断被引量：14