作者：李文敬，元昌安，闭应洲
页数：308
出版社：科学出版社
出版日期：2018
ISBN：9787030577153
电子书格式：pdf/epub/txt
内容简介
系统地探讨了以下几方面内容：(1)各种Petri网转换成P/T网的方法、数学表示及形式化过程的研究。（2）多核PC和机群的新型并行模型研究。（3）用库所不变量技术对大规模P/T网进行并行化的数学表示、功能划分策、划分条件及完备性研究。从库所和变迁不同角度，提出基于库所不变量和变迁图两种划分策略，利用库所不变量与齐次线性方程组理论，建立并论证了P-不变量的求解方法；依据库所不变量解集，提出了P/T网并行功能划分公式、判定定理，对存在多种划分情形，进行完备性研究与证明，建立了P/T网的并行划分理论。（4）对进程内部和进程间变迁行为的并行机理分析，提出P/T网并行模型的研究。（5）将多核PC和多核机群的新型并行模型应用于P/T网的并行算法设计。
本书特色
Petri网是复杂系统运行过程中并发、互斥、同步最直接、自然和精确的表示，已成为描述物理世界的异步并发现象并揭示其可计算规律的重要理论和模型。由于Petri网系统具有并发、同步的特点，同时存在状态空间爆炸的问题，要借助Petri网模拟复杂系统的并行运行或动画演示，以实现对Petri网系统行为与功能的分析与验证，成为人们亟须解决的问题。以并行计算和Petri网系统并行化为核心的Petri网系统并行算法成为模拟复杂系统的并行运行和系统验证的研究热点，受到许多学科领域的关注。本书全面系统地介绍Petri网并行化的基本理论和方法，重点介绍Petri网并行化划分理论和并行算法、Petri网的研究现状和国内外的新发展。
目录
前言
第1章 Petrii网并行化的研究背景
1.1 Petri网的研究现状
1.2 Petri网并行化理论与关键技术问题
1.3 基于多核机群的功能并行算法
1.4 Petri网的并行计算
1.5 基于多核机群的Petri网并行算法的研究思路
参考文献
第2章 MPI+openMP+SrrM并行编程模型
2.1 并行计算机的分类
2.1.1 按指令流和数据流分类
2.1.2 按数据的存储方式分类
2.2 并行计算模型
2.2.1 并行计算模型的要素
2.2.2 共享存储并行计算模型
2.2.3 分布式存储并行计算模型
2.2.4 存储层次并行计算模型
2.3 并行程序设计
2.3.1 并行编程模型
2.3.2 共享变量编程模型
2.3.3 消息传递编程模型
2.3.4 多线程编程和多进程编程
2.4 多核机群的并行计算
2.4.1 MPI+OpenMP混合编程模式
2.4.2 MPI+OpenMP+STM三级混合编程模式
2.4.3 MPI+OpenMP+STM并行算法
2.5 基于多核PC的人工蜂群并行算法
2.5.1 ABC算法
2.5.2 改进的ABC算法
2.5.3 并行算法的分析与设计
2.5.4 实验结果与分析
2.6 基于多核机群的人工鱼群并行算法
2.6.1 相关工作
2.6.2 基于动态权衡与小生境技术的串行式AFSA
2.6.3 基于MPI+OpenMP的人工鱼群并行算法实现
2.6.4 实验结果与分析
2.7 基于多核机群的混合群智能并行算法
2.7.1 相关工作
2.7.2 混合群智能两阶段处理方法
2.7.3 MPI+OpenMP+STM并行模型
2.7.4 混合群智能并行算法
2.7.5 实验环境及参数设置
2.7.6 实验结果与分析
参考文献
第3章 Perri网系统的数学模型
3.1 Petri网的基本概念
3.2 Petri网系统分析方法
3.3 Petri网的图形结构模型
3.4 Petri网的代数模型
参考文献
第4章 Perr3i网系统并行化预处理
4.1 Petri网的选择
4.1.1 高级Petri网与P／T网的特点
4.1.2 高级Petri网与P／T网的内在机理
4.2 结构模型的转化方法
4.3 代数模型的并行化预处理方法
4.3.1 转换过程与验证
4.3.2 P／T网与颜色Petri网的形式化表示
4.3.3 颜色Petri网关联矩阵分析
4.3.4 颜色Petri网并行化预处理自动转换算法
4.3.5 颜色Petri网转换成P／T网的算法
4.4 实验结果与分析
4.5 谓词／变迁网转换成P／T网的方法
参考文献
第5章 P-不变量求解算法与T-图子网划分方法
第6章 Petri网系统并行化子网划分理论
第7章 多核机群的Petri网并行模型及其算法
第8章 工作流Petri网系统的并行算法
第9章 基于Petri网的变数交通网络建模及其最短路径加权S-图算法
第10章 Petri网并行算法的应用
第1章 Petrii网并行化的研究背景
1.1 Petri网的研究现状
1.2 Petri网并行化理论与关键技术问题
1.3 基于多核机群的功能并行算法
1.4 Petri网的并行计算
1.5 基于多核机群的Petri网并行算法的研究思路
参考文献
第2章 MPI+openMP+SrrM并行编程模型
2.1 并行计算机的分类
2.1.1 按指令流和数据流分类
2.1.2 按数据的存储方式分类
2.2 并行计算模型
2.2.1 并行计算模型的要素
2.2.2 共享存储并行计算模型
2.2.3 分布式存储并行计算模型
2.2.4 存储层次并行计算模型
2.3 并行程序设计
2.3.1 并行编程模型
2.3.2 共享变量编程模型
2.3.3 消息传递编程模型
2.3.4 多线程编程和多进程编程
2.4 多核机群的并行计算
2.4.1 MPI+OpenMP混合编程模式
2.4.2 MPI+OpenMP+STM三级混合编程模式
2.4.3 MPI+OpenMP+STM并行算法
2.5 基于多核PC的人工蜂群并行算法
2.5.1 ABC算法
2.5.2 改进的ABC算法
2.5.3 并行算法的分析与设计
2.5.4 实验结果与分析
2.6 基于多核机群的人工鱼群并行算法
2.6.1 相关工作
2.6.2 基于动态权衡与小生境技术的串行式AFSA
2.6.3 基于MPI+OpenMP的人工鱼群并行算法实现
2.6.4 实验结果与分析
2.7 基于多核机群的混合群智能并行算法
2.7.1 相关工作
2.7.2 混合群智能两阶段处理方法
2.7.3 MPI+OpenMP+STM并行模型
2.7.4 混合群智能并行算法
2.7.5 实验环境及参数设置
2.7.6 实验结果与分析
参考文献
第3章 Perri网系统的数学模型
3.1 Petri网的基本概念
3.2 Petri网系统分析方法
3.3 Petri网的图形结构模型
3.4 Petri网的代数模型
参考文献
第4章 Perr3i网系统并行化预处理
4.1 Petri网的选择
4.1.1 高级Petri网与P／T网的特点
4.1.2 高级Petri网与P／T网的内在机理
4.2 结构模型的转化方法
4.3 代数模型的并行化预处理方法
4.3.1 转换过程与验证
4.3.2 P／T网与颜色Petri网的形式化表示
4.3.3 颜色Petri网关联矩阵分析
4.3.4 颜色Petri网并行化预处理自动转换算法
4.3.5 颜色Petri网转换成P／T网的算法
4.4 实验结果与分析
4.5 谓词／变迁网转换成P／T网的方法
参考文献
第5章 P-不变量求解算法与T-图子网划分方法
第6章 Petri网系统并行化子网划分理论
第7章 多核机群的Petri网并行模型及其算法
第8章 工作流Petri网系统的并行算法
第9章 基于Petri网的变数交通网络建模及其最短路径加权S-图算法
第10章 Petri网并行算法的应用
