期刊文献+

求网的S-不变量的一种图算法

A Graph Algorithm to Find S-invariant of a Net
下载PDF
导出
摘要 本文提出了一种新的求解网的S-不变量的方法。这种方法的基本思路是把一个网看作一个有向图,通过寻找网N的S-封闭基本有向贯通路簇或S-封闭基本有向回路簇,可以得到封闭重数方程组,求此封闭重数方程组的解就得到此网N的所有极小S-不变量。 A new method to find S-invariant for a net is presented in this paper. The basic idea of this method is to regard a net as a directed graph. By searching for S-closured basic directed transfixion path clusters or S-closured basic directed circuit clusters of a net we can deserve the closured repetitive-degree equation systems, from which we can get all S-invariants of the net.
出处 《计算机科学》 CSCD 北大核心 2007年第3期246-249,共4页 Computer Science
基金 国家自然科学基金资助课题(60173053)
关键词 S-不变量 S-封闭基本有向回路簇 S-封闭基本有向贯通路簇 封闭重数 S-invariant, S-closured basic directed circuit cluster, S-closured basic directed transfixion path cluster, Closure repetitive degree
  • 相关文献

参考文献10

  • 1Peterson J L 著.吴哲辉译.Petri网理论与系统模拟[M].徐州:中国矿业大学出版社,1989
  • 2吴哲辉.Petri网导论[M].北京:机械工业出版社华章分社,2005..
  • 3Murata T.Petri Nets:Properties,Analysis and Applications[A].In:Proceedings of IEEE,1989.354~355
  • 4Martinez J,Silva M.A Simple and Fast Algorithm to Obtain All Invariants Of a Generalized Petri Nets[J].In:Proceedings of Second European Workshop on Application and Theory of Petri Nets,Informatik Fachberichte 52,Springer Publishing Company,Berlin,1982
  • 5Takata M,Matsumoto T,Moro S.A Direct Method to Derive All Generators of Solutions of a Matrix Equation in a Petri Net[J].In:The 2002 International Technical Conference on Circuits/systems,Computers and Communitions,2002
  • 6Yamauchi M,Wakuda M,Taoka S,Watanabe T.A Fast and Space-Saving Algorithm for Computing Invariants of Petri Nets.IEEE
  • 7曾小伟,陈吉红,向华.计算Petri网S不变量和T不变量算法[J].华中科技大学学报(自然科学版),2001,29(11):1-3. 被引量:6
  • 8毕双艳,郭金梅,齐明.有向图中初级有向回路的求解算法及实例[J].长春邮电学院学报,1999,17(2):41-45. 被引量:4
  • 9熊德琰.生成有向图的有向回路基集及全部有向回路的一个搜索算法.电子学报,1986,14(6).
  • 10杜树贵.生成有向图的有向通路和有向回路的一个新算法[J].电路与系统学报,1999,4(4):83-85. 被引量:3

二级参考文献5

共引文献30

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

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