系统地探讨了以下几方面内容:(1)各种Petri网转换成P/T网的方法、数学表示及形式化过程的研究。(2)多核PC和机群的新型并行模型研究。(3)用库所不变量技术对大规模P/T网进行并行化的数学表示、功能划分策、划分条件及完备性研究。从库所和变迁不同角度,提出基于库所不变量和变迁图两种划分策略,利用库所不变量与齐次线性方程组理论,建立并论证了P-不变量的求解方法;依据库所不变量解集,提出了P/T网并行功能划分公式、判定定理,对存在多种划分情形,进行完备性研究与证明,建立了P/T网的并行划分理论。(4)对进程内部和进程间变迁行为的并行机理分析,提出P/T网并行模型的研究。(5)将多核PC和多核机群的新型并行模型应用于P/T网的并行算法设计。

提示:百度云已更名为百度网盘(百度盘),天翼云盘、微盘下载地址……暂未提供。