期刊文献+

有界Petri网的可达图到网图的转换算法 被引量:6

AN ALGORITHM. FOR CONSTRUCTING A. BOUNDED PETRJ NET ACCORDING TO ITS REACHABLE MARKING-GRAPH
下载PDF
导出
摘要 本文给出了有界Petri网的可达标识图到网图的转换算法,对算法的正确性与复杂性分别进行了证明和估计,结果表明该算法是一个多项式算法,因而是有效的。 An algorithm for constructing a bounded Petri Net according to its reachable marking graph is presented in this paper. A proof of correctness and a valuation of complexity for the algorithm are also given. We show that the algorithm is of polynomial complexity, hence it is a valid algorithm.
出处 《软件学报》 EI CSCD 北大核心 1992年第1期23-29,共7页 Journal of Software
基金 国家自然科学基金
  • 相关文献

参考文献4

  • 1吴哲辉,计算机学报,1989年,4期
  • 2陆维明,中国科学.A,1987年,2期
  • 3殷兆麟,中国矿业学院学报,1986年,4期
  • 4朱洪,计算机算法、设计与分析引论,1985年

同被引文献88

引证文献6

二级引证文献18

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

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