模擬一個(gè)Petri網(wǎng)的行為:該程序應(yīng)該讀入一組轉(zhuǎn)換規(guī)則，以及一組狀態(tài)列表，這些狀態(tài)對(duì)應(yīng)與網(wǎng)絡(luò)鏈路層發(fā)出一個(gè)新的分組或者接受一個(gè)新的分組。初始狀態(tài)也是要讀入的。該程序應(yīng)該從初始狀態(tài)開始，隨機(jī)地選取那些激活的轉(zhuǎn)換，并激發(fā)這些轉(zhuǎn)換，檢查一下看是否有“一臺(tái)主機(jī)接受了2個(gè)分組而另一臺(tái)主機(jī)并沒有在此期間發(fā)出新的分組”這樣的情形。
標(biāo)簽：
Petri
模擬
程序
轉(zhuǎn)換
上傳時(shí)間：
2013-12-16
上傳用戶：qwe1234
