Rakiura JFern是一個非常輕型的帶有模擬器的PETRI網絡框架，用Java編寫，為Java開發者而設計
標簽： Rakiura JFern PETRI 輕型
上傳時間： 2014-01-14
上傳用戶：xfbs821
PETRI網絡的演示程序，本程序是計算機網絡課程中涉及到的PETRI網絡的演示，輸入預先的轉換規則，搜索可以擊發的狀態，設定次數進行狀態轉換
標簽： PETRI 網絡 程序
上傳時間： 2013-12-11
上傳用戶：Miyuki
PETRI網繪制圖形、仿真、計算工具。可用于進行結構分析和性能分析。
標簽： PETRI 繪制 圖形 仿真
上傳時間： 2014-01-01
上傳用戶：極客
一部介紹PETRI網模型的好書。 PETRI網理論提出自20世紀60年代，有嚴謹的數學基礎，廣泛的應用于工作流建模等領域。
標簽： PETRI 模型
上傳時間： 2015-08-27
上傳用戶：努力努力再努力
PETRI網的一些相關簡單入門文章匯總，希望有幫助
標簽： PETRI
上傳時間： 2016-02-26
上傳用戶：Divine
關于有色PETRI網的應用文章，主要是國外學者的研究成果。
上傳時間： 2014-01-13
上傳用戶：Ants
可以簡單計算PETRI網的狀態空間,用來分析PETRI網的特性
標簽： PETRI 計算 狀態空間 分
上傳時間： 2014-01-18
上傳用戶：shanml
PETRI網分析工具PIPE is open-source
標簽： open-source PETRI PIPE is
上傳時間： 2013-12-24
上傳用戶：lps11188
EDA 軟件算法；采用PETRI－net對異步控制電路進行綜合，得到硬件可實現電路。
標簽： PETRI EDA net 軟件算法
上傳時間： 2014-01-24
上傳用戶：徐孺
模擬一個PETRI網的行為:該程序應該讀入一組轉換規則，以及一組狀態列表，這些狀態對應與網絡鏈路層發出一個新的分組或者接受一個新的分組。初始狀態也是要讀入的。該程序應該從初始狀態開始，隨機地選取那些激活的轉換，并激發這些轉換，檢查一下看是否有“一臺主機接受了2個分組而另一臺主機并沒有在此期間發出新的分組”這樣的情形。
標簽： PETRI 模擬 程序 轉換
上傳時間： 2013-12-16
上傳用戶：qwe1234
蟲蟲下載站版權所有 京ICP備2021023401號-1
