基于標(biāo)簽時(shí)間Petri網(wǎng)最小初始狀態(tài)的實(shí)時(shí)系統(tǒng)初始資源配置

摘要： 針對(duì)實(shí)時(shí)系統(tǒng)完成特定任務(wù)序列的最少初始資源配置問(wèn)題,本文研究了一種基于標(biāo)簽時(shí)間Petri網(wǎng)最小初始狀態(tài)估計(jì)的解決方法.首先,對(duì)現(xiàn)有的標(biāo)簽Petri網(wǎng)的極小初始標(biāo)識(shí)估計(jì)算法進(jìn)行分析并提出改進(jìn)方法,以適用于標(biāo)簽時(shí)間Petri網(wǎng)的極小初始標(biāo)識(shí)的計(jì)算.其次,介紹一種基于路徑(即變遷序列)的修正狀態(tài)類(lèi)圖(MSCG).通過(guò)求解由路徑MSCG的時(shí)間約束構(gòu)建的線(xiàn)性規(guī)劃問(wèn)題,判定與極小初始狀態(tài)相... （共9頁(yè)）