Petri網導論

內容介紹

Petri網是什麼？它是分散式系統的建模和分析工具。它特別便於描述系統中進程或部件的順序、並發、衝突以及同步等關係。作為一種系統模型，Petri網不僅可以刻畫系統的結構，而且可以描述系統的動態行為(如系統的狀態變化等)。Petri網既有直觀的圖形表示，又可以引入許多數學方法對其性質進行分析。對於複雜的系統，Petri網可以對其進行分層描述，逐步求精，便於同面向對象的思想方法相溝通。
本書是作者在從事Petri網理論課程教學的基礎上撰寫而成，主要介紹Petri網的基本原理和基本分析方法，以及這些原理和方法在對實際系統進行建模和分析中的套用，同時也包含了一部分作者自己的研究成果。主要內容包括：Petri網的基本概念、基本性質和基本分析方法，各種常見的Petri網的變型模型，通用網論中並發論和同步論的基本內容等。
本書可作為高等院校計算機專業、自動化專業的研究生或高年級本科生教材，也可供相關技術人員參考。