Petri网系统的可达性分析
对Petri网系统的可达性问题做了综合性的阐述和分析,提出了利用能量优化方法来解决可达性问题的方法,并在此基础上结合计算代数方法和神经计算模型对可达性问题做了进一步的研究.主要工作包括:1.给出了Petri网到线性空间的映射规则及其可达性的等价性定理;2.建立了能量优化模型,将可达性判断化为优化问题;3.用神经网络来求解能量优化模型;4.最后综合了计算代数方法和能量优化模型的优点给出一个基于计算代数和神经计算的方法.作者提出了一种利用基于硬件的大规模并行的神经计算来代替基于软件的串行的数字计算的可达性判断的解决方案。
Petri网模型 可达性 Grobner基 能量优化模型 Hopield神经网络
吴文渊 曾振柄
加拿大西安大略大学应用数学系,加拿大西安大略, N6A 5B8 华东师范大学软件学院,上海,200062
国内会议
江苏镇江
中文
17-25
2005-10-01（万方平台首次上网日期，不代表论文的发表时间）