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