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

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