Petri網(wǎng)導(dǎo)論

內(nèi)容概要

　　Petri網(wǎng)是什么？它是分布式系統(tǒng)的建模和分析工具。它特別便于描述系統(tǒng)中進(jìn)程或部件的順序、并發(fā)、沖突以及同步等關(guān)系。作為一種系統(tǒng)模型，Petri網(wǎng)不僅可以刻畫系統(tǒng)的結(jié)構(gòu)，而且可以描述系統(tǒng)的動態(tài)行為（如系統(tǒng)的狀態(tài)變化等）。Petri網(wǎng)既有直觀的圖形表示，又可以引入許多數(shù)學(xué)方法對其性質(zhì)進(jìn)行分析。對于復(fù)雜的系統(tǒng)，Petri網(wǎng)可以對其進(jìn)行分層描述，逐步求精，便于同面向?qū)ο蟮乃枷敕椒ㄏ鄿贤??！　　　”緯亲髡咴趶氖翽etri網(wǎng)理論課程教學(xué)的基礎(chǔ)上撰寫而成，主要介紹Petri網(wǎng)的基本原理和基本分析方法，以及這些原理和方法在對實(shí)際系統(tǒng)進(jìn)行建模和分析中的應(yīng)用，同時也包含了一部分作者自己的研究成果。主要內(nèi)容包括：Petri網(wǎng)的基本概念、基本性質(zhì)和基本分析方法，各種常見的Petri網(wǎng)的變型模型，通用網(wǎng)論中并發(fā)論和同步論的基本內(nèi)容等。　　本書可作為高等院校計算機(jī)專業(yè)、自動化專業(yè)的研究生或高年級本科生教材，也可供相關(guān)技術(shù)人員參考。

作者簡介

　　吳哲輝，1941年3月生于廣東省連州市，1965年畢業(yè)于中山大學(xué)數(shù)學(xué)力學(xué)系。1981年1983年在美國芝加哥伊利諾伊大學(xué)作訪問學(xué)者，學(xué)習(xí)計算機(jī)科學(xué)理論，從那時起開始從事Petri網(wǎng)理論及應(yīng)用的研究工作?，F(xiàn)任山東科技大學(xué)教授、博士生導(dǎo)師，中國計算機(jī)學(xué)會Petri網(wǎng)專委會主任。　　從1987年開始，他主持承擔(dān)過關(guān)于Petri網(wǎng)理論和應(yīng)用研究的6項(xiàng)國家自然科學(xué)基金項(xiàng)目，在《中國科學(xué)》、《科學(xué)通報》、《計算機(jī)學(xué)報》、《軟件學(xué)報》、《Journal of The Franklin Institute》、《International Journal of Mathematics and Computer Science》等國仙外學(xué)術(shù)刊物發(fā)表學(xué)術(shù)論文100余篇，獲得過原國家教委、煤炭部和山東省的4項(xiàng)省部級科技獎。先后被評為國家級有突出貢獻(xiàn)的中青年專家、山東省專業(yè)技術(shù)拔尖人才、全國模范教師等。

書籍目錄

前言第一章 網(wǎng)與網(wǎng)系統(tǒng)第二章 Petri網(wǎng)的動態(tài)性質(zhì)第三章 Petri網(wǎng)的分析方法第四章 Petri網(wǎng)的結(jié)構(gòu)性質(zhì)第五章 一些Petri網(wǎng)子類的動態(tài)性質(zhì)分析第六章 Petri網(wǎng)運(yùn)算第七章 高級Petri網(wǎng)第八章 增廣Petri網(wǎng)第九章 含時間因素的Petri網(wǎng)第十章 其他Petri網(wǎng)變形模型簡介第十一章 并發(fā)論第十二章 同步距離索引

圖書封面

圖書標(biāo)簽Tags

無

評論、評分、閱讀與下載

---

    Petri網(wǎng)導(dǎo)論 PDF格式下載

---