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