| Petri网系统的可达性分析 |
| |
| 引用本文： | 吴文渊,曾振柄.Petri网系统的可达性分析[J].系统仿真学报,2005,17(Z1):17-25. |
| |
| 作者姓名： | 吴文渊 曾振柄 |
| |
| 作者单位： | 1. 加拿大西安大略大学应用数学系,加拿大西安大略, N6A 5B8
2. 华东师范大学软件学院,上海,200062 |
| |
| 基金项目： | 国家重点基础研究发展规划项目数学机械化方法及其在信息技术中的应用, 2004CB318003 |
| |
| 摘 要： | 对Petri网系统的可达性问题做了综合性的阐述和分析, 提出了利用能量优化方法来解决可达性问题的方法, 并在此基础上结合计算代数方法和神经计算模型对可达性问题做了进一步的研究. 主要工作包括 1.给出了Petri网到线性空间的映射规则及其可达性的等价性定理; 2.建立了能量优化模型, 将可达性判断化为优化问题; 3.用神经网络来求解能量优化模型; 4. 最后综合了计算代数方法和能量优化模型的优点给出一个基于计算代数和神经计算的方法. 作者提出了一种利用基于硬件的大规模并行的神经计算来代替基于软件的串行的数字计算的可达性判断的解决方案.
|
| 关 键 词： | Petri网模型 可达性 Gr(o)bner基 能量优化模型 Hopield神经网络 综合分析方法 |
| 文章编号： | 1004-731X(2005)S-17-09 |
| 修稿时间： | 2005年5月31日 |
Reachability of Petri Net |
| |
| WU Wen-yuan,ZENG Zhen-bing.Reachability of Petri Net[J].Journal of System Simulation,2005,17(Z1):17-25. |
| |
| Authors: | WU Wen-yuan ZENG Zhen-bing |
| |
| Abstract: | |
| |
| Keywords: | |
| 本文献已被 万方数据 等数据库收录！ |
|
