Petri网并行化理论与并行算法

书籍简介:

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

书籍规格:

书籍信息归属:

Petri网并行化理论与并行算法是科学出版社于2018.6出版的中图分类号为 TP393 的主题关于 Petri网－研究 的书籍。