Petri网系统的可达性分析
Reachability of Petri Net作者机构：加拿大西安大略大学应用数学系加拿大西安大略 N6A 5B8 华东师范大学软件学院上海200062
出 版 物：《系统仿真学报》 (Journal of System Simulation)
年 卷 期：2005年第17卷第Z1期
页 面：17-25页
核心收录：
学科分类：08[工学] 0835[工学-软件工程] 081202[工学-计算机软件与理论] 0812[工学-计算机科学与技术（可授工学、理学学位）]
基 金：国家重点基础研究发展规划项目数学机械化方法及其在信息技术中的应用 2004CB318003
主 题：Petri网模型 可达性 Gr(o)bner基 能量优化模型 Hopield神经网络 综合分析方法
摘 要：对Petri网系统的可达性问题做了综合性的阐述和分析, 提出了利用能量优化方法来解决可达性问题的方法, 并在此基础上结合计算代数方法和神经计算模型对可达性问题做了进一步的研究. 主要工作包括: 1.给出了Petri网到线性空间的映射规则及其可达性的等价性定理; 2.建立了能量优化模型, 将可达性判断化为优化问题; 3.用神经网络来求解能量优化模型; 4. 最后综合了计算代数方法和能量优化模型的优点给出一个基于计算代数和神经计算的方法. 作者提出了一种利用基于硬件的大规模并行的神经计算来代替基于软件的串行的数字计算的可达性判断的解决方案.
维普期刊数据库