《Petri網的行為理論及其套用》著重介紹了Petri網的順序行為理論和並發行為理論，包括Petri網重要特性的網語言刻劃、分析及控制手段，以及Petri網連線、同步和共享操作等過程中的語言關係等內容。
《Petri網的行為理論及其套用》著重介紹了Petri網的順序行為理論和並發行為理論,包括Petri網重要特性的網語言刻劃、分析及控制手段,以及Petri網連線、同步和共享操作等...
《Petri網原理與套用》是2005年3月電子工業出版社出版的圖書。作者是袁崇義。...... 堅實的理論基礎是Petri網區別於其他系統模型的主要特徵[1] Petri網原理與套用目...
《Petri網套用》是2013年出版的圖書,作者是袁崇義。...... 作者將30餘年來對Petri網理論的學習、研究和實踐凝聚到《信息科學技術學術著作叢書:Petri網套用》中,刪...
由於Petri網能夠表達並發的事件,被認為是自動化理論的一種。研究領域趨向認為...Petri網的套用非常廣泛,以下是Petri網比較常用的幾種套用:o 軟體設計...
系統元素的異步並發操作的工作模型,Petri網在計算機等許多領域都獲得了廣泛的套用...等系統特性,並帶有執行控制機制,同時還具備形式化步驟及數學圖論相支持的理論嚴密...
由於Petri網能夠表達並發的事件,被認為是自動化理論的一種。研究領域趨向認為Petri...Petri網的套用非常廣泛,以下是Petri網比較常用的幾種套用:軟體設計...
Petri網是對離散並行系統的數學表示。由於Petri網能夠表達並發的事件,被認為是自動化理論的一種。研究領域趨向認為Petri網是所有流程定義語言之母。...
本書主要講授在計算機網路的研究、設計和套用中不斷產生的新理論和新技術為主。主要內容有計算機網路基礎、Petri網理論、排隊論、通信與信息傳輸理論、網路通信理論、...
工具,重點介紹了基於隱私Petri網的隱私泄露分析工具——PPNT,並給出了實際套用...作為全書的模型理論基礎,PPN是一種具有嚴格的形式化定義、直觀的圖形化表示、...
《複雜系統多Agent建模與控制的理論及套用》是2011年電子工業出版社出版的圖書,...2.2 基於模糊Petri網的Agent協調控制器2.2.1 協調控制器的功能結構2.2.2 ...
基於複雜系統理論的信息化戰爭體系對抗建模與仿真………金偉新 肖田元 (019) ...一種擴展隨機有色Petri網及在防空作戰建模中的套用………唐立軍 王小藝 王建...
受獎情況: 1994 Petri網、算法及套用 科學技術進步獎, 二等 山東省1992 Petri網理論及其在計算機科學和工程上的套用 科學技術進步獎, 三等 國家教委1991 公平...
[7]樂曉波,孫豐玉(研究生).粗糙集理論的一種新擴充模型[J].長沙交通學院學報,2003,19(4):19-23[8] 樂曉波,陳黎靜(研究生).Petri網套用綜述[J].長沙...
並發系統建模, Petri網理論與套用 [1] 王生原研究概況 所在的小組致力於研究旨在幫助程式設計師改進編程質量的方法學與工具,特別針對程式的安全性和正確性。研究領域包括...
從事(高級)Petri網理論與套用、形式化方法、模型檢查、CSCW系統、分散式並發系統分析與驗證等領域的教學和研究工作,主持國家自然科學基金項目1項,主持國家博士後基金...
中國計算機學會Petri網專業委員會委員,《北京郵電大學學報》,《計算機套用研究》和...13.國家自然科學基金項目(No.60503052)“移動環境下網路可信性的基礎理論與關鍵...
目前主要從事服務計算、Petri網理論與套用、智慧型信息處理等方向的科學研究工作,參加完成國家自然科學基金1 項(第2位),主持完成國家科技支撐計畫子課題1項,濟南大學...
宋愛波,男,博士,東南大學計算機科學與工程學院副教授,中國計算機學會Petri網專委...主要研究領域:格線計算與雲計算、海量數據處理和Petri網理論與套用等。...
