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