Petri網(wǎng)原理與應(yīng)用 內(nèi)容簡介

Petri網(wǎng)是一種適合于描述異步并發(fā)現(xiàn)象的系統(tǒng)模型，它既有嚴(yán)格的數(shù)學(xué)定義，又有直觀的圖形表示，既有豐富的系統(tǒng)描述手段和系統(tǒng)行為分析技術(shù)，又為計算機(jī)科學(xué)提供堅實(shí)的概念基礎(chǔ)。
本書是對《Petri網(wǎng)原理》一書的修訂，增加了大量的Petri網(wǎng)應(yīng)用的內(nèi)容。電梯控制系統(tǒng)是一個完整的應(yīng)用實(shí)例，充分展示了Petri網(wǎng)描述異步并發(fā)特征的作用。Petri網(wǎng)與計算機(jī)程序系統(tǒng)的差異阻礙了Petri網(wǎng)在計算機(jī)科學(xué)中的應(yīng)用。針對這一差異引入的變量類狀態(tài)元素和相應(yīng)的變遷規(guī)則，使擴(kuò)充后的Petri網(wǎng)成為系統(tǒng)規(guī)范和程序系統(tǒng)語義描述的工具。這一工具與同步論的結(jié)合，在工作流應(yīng)用和工作流工具開發(fā)中已有很好的應(yīng)用。
本書是作者多年講授和研究Petri網(wǎng)的結(jié)果。全書分為四篇：入門篇介紹Petri網(wǎng)基本觀點(diǎn)及基本定義；系統(tǒng)篇介紹三種網(wǎng)系統(tǒng)，并分別定義事件間的基本現(xiàn)象（順序、并發(fā)、沖突和沖撞等），給出網(wǎng)系統(tǒng)的分析技術(shù)和層次化技術(shù)；理論篇包括條件/事件系統(tǒng)，同步論，網(wǎng)邏輯，信息流結(jié)構(gòu)，網(wǎng)拓?fù)浜筒l(fā)論；應(yīng)用篇包括電梯控制系統(tǒng)，C_net，工作流模型。堅實(shí)的理論基礎(chǔ)是Petri網(wǎng)區(qū)別于其他系統(tǒng)模型的主要特征。
本書以理論為指導(dǎo)，以應(yīng)用為目標(biāo)，包含大量實(shí)例和圖示，適合用作計算機(jī)及通信、自控等專業(yè)高年級學(xué)生和研究生教材和自學(xué)參考書，也可供教師、科研人員及工程技術(shù)人員參考。