基于Petri網的動態(tài)可重構離散事件系統(tǒng)重構方案設計

摘要： 動態(tài)可重構離散事件系統(tǒng)(DRDES)是一種能夠在運行過程中改變結構或參數的特殊離散事件系統(tǒng)(DES)。已知重構起始與目標狀態(tài)，DRDES的一次完整系統(tǒng)級重構過程可以由一串包含一系列普通事件與重構事件的事件序列描述。不恰當的重構方案可能導致系統(tǒng)死鎖甚至造成嚴重后果。因此，聚焦DRDES中的增加型重構事件類型，基于Petri網描述DRDES的動態(tài)行為，以有向弧為重構最小執(zhí)行單元，形... （共11頁）