Petri網並行化理論與並行算法

內容簡介

Petri網是複雜系統運行過程中並發、互斥、同步直接、自然和精確的表示，已成為描述物理世界的異步並發現象並揭示其可計算規律的重要理論和模型。由於Petri網系統具有並發、同步的特點，同時存在狀態空間爆炸的問題，要藉助Petri網模擬複雜系統的並行運行或動畫演示，以實現對Petri網系統行為與功能的分析與驗證，成為人們亟須解決的問題。以並行計算和Petri網系統並行化為核心的Petri網系統並行算法成為模擬複雜系統的並行運行和系統驗證的研究熱點，受到許多學科領域的關注。《Petri網並行化理論與並行算法》全面系統地介紹Petri網並行化的基本理論和方法，重點介紹Petri網並行化劃分理論和並行算法、Petri網的研究現狀和國內外的新發展。

圖書目錄

前言

第1章Petri網並行化的研究背景

第2章MPI＋OpenMP＋STM並行編程模型

第3章Petri網系統的數學模型

第4章Petri罔系統並行化預處理

第5章p－不變數求解算法與T－圖子網劃分方法

第6章Petri網系統並行化子網劃分理論

第7章多核機群的Petri網並行模型及其算法

第8章工作流Petri網系統的並行算法

第9章基於Petri網的變斂交通網路建模及其最短路徑加權s－圖算法

第10章Petri網並行算法的套用

附錄A基於多核PC的Petri網並行算法的自動物料處理仿真系統部分代碼

附錄B基於多核機群三級並行模型的Petri網自動物料並行處理仿真系統部分代碼

Petri網並行化理論與並行算法

基本介紹

內容簡介

圖書目錄

熱門詞條