期刊文献+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息

Petri网系统的可达性分析 被引量：2

Reachability of Petri Net
下载PDF
导出
摘要 对Petri网系统的可达性问题做了综合性的阐述和分析, 提出了利用能量优化方法来解决可达性问题的方法, 并在此基础上结合计算代数方法和神经计算模型对可达性问题做了进一步的研究. 主要工作包括: 1.给出了Petri网到线性空间的映射规则及其可达性的等价性定理; 2.建立了能量优化模型, 将可达性判断化为优化问题; 3.用神经网络来求解能量优化模型; 4. 最后综合了计算代数方法和能量优化模型的优点给出一个基于计算代数和神经计算的方法. 作者提出了一种利用基于硬件的大规模并行的神经计算来代替基于软件的串行的数字计算的可达性判断的解决方案.
作者 吴文渊 曾振柄
机构地区 加拿大西安大略大学应用数学系
出处 《系统仿真学报》 CAS CSCD 北大核心 2005年第z1期17-25,共9页 Journal of System Simulation
基金 国家重点基础研究发展规划项目数学机械化方法及其在信息技术中的应用, 2004CB318003
关键词 PETRI网模型 可达性 Gr(o)bner基 能量优化模型 Hopield神经网络 综合分析方法
分类号 TP31 [自动化与计算机技术—计算机软件与理论]
  • 相关文献

参考文献10

  • 1[1]S B Akers. Binary decision diagrams [J]. IEEE Transaction On Computers, June 1978, C-27, (6): 509-516.
  • 2[2]R Bryant. Symbolic Boolean Manipulation with Ordered Binary decision diagrams [J]. ACM. Computing Surveys, Sept. 1992, 24(3): 293-318.
  • 3[3]B Buchberger. Introduction to Gr(o)bner Bases [M]. In: Gr(o)bner Bases and Applications (B. Buchberger, F. Winkler, eds.), London Mathematical Society Lecture Notes Series 251, Cambridge University Press, 1998, 3-31.
  • 4[4]O Caprotti, A Ferscha, H Hong. Reachability Test in Petri Nets by Gr(o)bner Bases [M]. Research Institute for Symbolic Computation, Johannes Kepler Universit(a)t, A-4020 Linz, AUSTRIA, 1995.
  • 5[5]J Hopfield, D Tank. Neural computation of decisions in optimization problems [J]. Biological Cybernetics, 1985, 52: 141-152.
  • 6[6]W K Lai, G G Coghill. Genetic breeding of control parameters for the Hopfield/Tank neural net [C]. In: Proc. Int. Joint Conf. Neural Networks, 1992, 4: 618-623.
  • 7[7]E Pastor, J Cortadella, O Roig. Symbolic Analysis of Bounded Petri Nets [J]. IEEE Transaction On Computers, 2001, 50(5): 432-448.
  • 8[8]C A Petri. Kommunikation mit Automaten [Z]. Bonn: Institut für Instrumentelle Mathematik, Schriften des IIM Nr.2, 1962.
  • 9[9]D Psaltis, N Farhat. Optical information processing based on associative-memory model of neural nets with thersholding and feedback [J]. Opt. Lett. 10, 1985, 98-100.
  • 10[10]W J Yeh, M Young. Compositional Reachability Analysis Using Process Algebra, NEC ResearchIndex, 1991 [EB/OL]. http://citeseer.nj.nec.com/.

同被引文献37

引证文献2

二级引证文献1

系统仿真学报
2005年 第z1期

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

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