Petri网并行化理论与并行算法 本书特色

Petri网是复杂系统运行过程中并发、互斥、同步*直接、自然和精确的表示，已成为描述物理世界的异步并发现象并揭示其可计算规律的重要理论和模型。由于Petri网系统具有并发、同步的特点，同时存在状态空间爆炸的问题，要借助Petri网模拟复杂系统的并行运行或动画演示，以实现对Petri网系统行为与功能的分析与验证，成为人们亟须解决的问题。以并行计算和Petri网系统并行化为核心的Petri网系统并行算法成为模拟复杂系统的并行运行和系统验证的研究热点，受到许多学科领域的关注。本书全面系统地介绍Petri网并行化的基本理论和方法，重点介绍Petri网并行化划分理论和并行算法、Petri网的研究现状和国内外的新发展。

Petri网并行化理论与并行算法 内容简介

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

工业技术 电子通信 通信

在线阅读