基于多狀態(tài)機(jī)復(fù)合Petri網(wǎng)多資源協(xié)同優(yōu)化與動態(tài)調(diào)度.pdf

1、多資源協(xié)同優(yōu)化與動態(tài)調(diào)度是離散事件動態(tài)系統(tǒng)研究的一個重要方向，而Petri網(wǎng)以直觀的圖形提出一種形象的建模方法，以研究模型系統(tǒng)中的組織結(jié)構(gòu)和動態(tài)行為目標(biāo)，著眼于系統(tǒng)中可能發(fā)生的各種狀態(tài)和狀態(tài)轉(zhuǎn)換間的關(guān)系，是研究多資源協(xié)同優(yōu)化與動態(tài)調(diào)度問題的一個理想工具。但是，基本Petri網(wǎng)只能從宏觀上對資源的數(shù)量分布進(jìn)行描述，大部分研究都是通過添加許多新的集合或映射來增強(qiáng)其建模能力，而對于具備連續(xù)消息的多類資源的DEDS，傳統(tǒng)Petri網(wǎng)則無法清楚的

2、刻畫。為此，我們結(jié)合具有邏輯屬性的二元標(biāo)識，提出二元標(biāo)識多狀態(tài)機(jī)復(fù)合Petri網(wǎng)，并用其研究多資源協(xié)同優(yōu)化與動態(tài)調(diào)度問題。
　　(1)在基于Token離散標(biāo)識多狀態(tài)機(jī)復(fù)合Petri網(wǎng)基礎(chǔ)上，引入具有邏輯屬性的二元標(biāo)識，分別提出基于二元離散標(biāo)識和混雜標(biāo)識多狀態(tài)機(jī)復(fù)合Petri網(wǎng)模型。并具體研究模型的變遷使能機(jī)制、事件使能機(jī)制、Token遷移機(jī)制以及Token連續(xù)信息演化機(jī)制。
　　(2)在基于二元混雜Petri網(wǎng)模型中引入時空

3、等連續(xù)信息，結(jié)合一般微積分方程，建立基于時間的二元混雜標(biāo)識復(fù)合Petri網(wǎng)和基于空間的二元混雜標(biāo)識復(fù)合Petri網(wǎng)模型，并提出基于二元混雜多狀態(tài)機(jī)復(fù)合Petri網(wǎng)的最優(yōu)事件的調(diào)度規(guī)則。
　　(3)利用以上所提出的Petri網(wǎng)模型并對舉出一個柔性制造例子進(jìn)行協(xié)同優(yōu)化與動態(tài)調(diào)度，以驗(yàn)證基于時間屬性的二元混雜標(biāo)識復(fù)合Petri網(wǎng)的正確性和有效性。然后以罩式退火過程生產(chǎn)調(diào)度為例，先在沒有資源沖突的特殊條件下，對罩式退火過程進(jìn)行調(diào)度。然后結(jié)