期刊文献+

加权T-图活性的进一步研究 被引量:4

FURTHER RESEARCH OF LIVENESS FOR WEIGHTED T-GRAPHS
下载PDF
导出
摘要 本文给出加权T-图是活网的另一组充分条件,这组条件包含了Teruel等对加权T-图活性分析的结果,方法简单,便于操作.Teruel文中研究了加权单回路网为守恒回路时活的一个充分条件,对一般加权T-图活性的判断只限于每个回路是守恒回路的情况.许安国等1993年给出判断加权T-图是活网的充分必要条件,但方法繁琐,操作不方便.本文克服了原文的缺点,保留了Teruel文的优点,同时又扩大了Teruel文中定理4.12的使用范围,对于每个回路可以是守恒回路或增加回路. This paper presents a set of sufficient conditions for the liveness ofweighted T-graphs, this set of conditions involves the condition given in Teruel'spapers for the liveness of weighted T-graphs, the given technique is simple andeasy to operate. In Teruel's paper, a sufficient condition has been studied for theliveness of weighted circuit net which is conservative circuit, the decision for theliveness of comrnon weighted T-graphs is only feasible in the case that every circuitis conservative one. Xu et al. proposed a necessary and sufficient condition in 1993to decide the liveness of weighted TAigraphs, but it is too complex to operate. Thispaper surmounts the shortcorning of Xu's paper, preserves the superiority ofTeruel's paper, and further more enlarges the adaptable range of theorem 4. 12 inTeruel's paper, that means in this paper, whether circuit in weighted T-graphs isconservative or gain circuit, the theorem always works.
出处 《计算机学报》 EI CSCD 北大核心 1998年第1期92-96,共5页 Chinese Journal of Computers
基金 国家自然科学基金
关键词 加权T-图 活性 可重复性 Weighted T-graphs, liveness, repetitiveness
  • 相关文献

参考文献3

二级参考文献3

  • 1许安国,系统科学与数学,1992年,2期
  • 2吴哲辉,计算机学报,1989年,4卷,267页
  • 3吴哲辉,Petri网理论与系统模拟,1989年

共引文献58

同被引文献30

  • 1段华,曾庆田.S-网的活性分析[J].小型微型计算机系统,2004,25(11):1975-1978. 被引量:5
  • 2许安国,吴哲辉.加权T图的活性分析[J].软件学报,1993,4(6):16-21. 被引量:6
  • 3蒋昌俊.加权T图的几种化简运算[J].通信学报,1994,15(2):97-103. 被引量:10
  • 4翟正利,吴哲辉,杨扬.时间Petri网模拟能力的研究[J].计算机科学,2006,33(4):234-235. 被引量:5
  • 5[1]Enrique Teruel, Jose' Manuel Colom Member IEEE, Manuel Silva Member IEEE. Choice-Free Petri Nets: A Model for Deterministic Concurrent Systems with Bulk Services and Arrivals[J]. IEEE Transctions on Systems, Man and Cybernetics-Part A: Systems And Humans, 1997: 27(1): 73-83.
  • 6[2]Murata T. Petri Net: properties analysis and applications[C].Proceedings of the IEEE, 1989.
  • 7[3]Best E, Thiagarajan P S. Some classes of live and safe Petri nets[C].in Concurrency and Nets, 1987: (3): 91-94.
  • 8[4]Voss K, Genrich H J, Rozenberg G, eds. Concurrency and Nets Special Volume in the series Advances in Petri Nets[M]. New York:Springer-Verlag, 1987.
  • 9[5]Murata T, Koh J Y. Reduction and expansion of live and safe marked graphs[J]. IEEE Trans. on Circuits and Systems, 1980, (1): 68-70.
  • 10Peterson J 著,吴哲辉译.Petri网理论与系统模拟.北京:中国矿业大学出版社,1989

引证文献4

二级引证文献9

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

内容加载中请稍等...
;
使用帮助 返回顶部