基于極大代數(shù)的Petri網(wǎng)同步模型研究.pdf

1、同步是自然界和人造系統(tǒng)中普遍存在的一種現(xiàn)象，表達(dá)了活動(dòng)之間在邏輯及時(shí)間層面的相對(duì)關(guān)系。在實(shí)際系統(tǒng)中，相關(guān)活動(dòng)之間有效同步的實(shí)現(xiàn)有著重要的意義。但是，同步在不同的實(shí)際系統(tǒng)中表現(xiàn)出不同的特征，形式也表現(xiàn)得很復(fù)雜。因此，運(yùn)用適當(dāng)?shù)姆椒▽?duì)同步建立模型，借助模型去研究有效同步實(shí)現(xiàn)的條件及方法就具有重要的理論意義和應(yīng)用價(jià)值。
　　Petri網(wǎng)是一種圖形化的建模工具，它不僅可以通過(guò)網(wǎng)結(jié)構(gòu)及托肯(Token)的運(yùn)行表達(dá)活動(dòng)之間的靜態(tài)邏輯關(guān)系，也可

2、以演示活動(dòng)之間的動(dòng)態(tài)時(shí)間關(guān)系。Petri網(wǎng)的突出優(yōu)點(diǎn)之一就是適合表述同步、并發(fā)等現(xiàn)象，但Petri網(wǎng)的分析能力落后于其描述能力，而極大代數(shù)可以將一類特殊的Petri網(wǎng)-計(jì)時(shí)事件圖(TIMED EVENT GRAPH)模型轉(zhuǎn)化為其特殊代數(shù)結(jié)構(gòu)下的線性模型，從而可以對(duì)模型進(jìn)行分析和求解。論文將這兩種方法結(jié)合起來(lái)，以計(jì)時(shí)事件圖(TIMED EVENT GRAPH)和極大代數(shù)為工具，對(duì)同步進(jìn)行研究。論文的主要工作及研究成果如下：
　　1.

3、對(duì)同步的定義進(jìn)行了概述，包括特征及表現(xiàn)形式。據(jù)此，選擇Petri網(wǎng)來(lái)描述同步現(xiàn)象。
　　2.運(yùn)用模塊化的建模思想，選擇事件圖(T-圖)及計(jì)時(shí)事件圖(TIMED EVENTGRAPH)分別從邏輯及時(shí)間兩個(gè)層面構(gòu)建Petri網(wǎng)同步模型，并進(jìn)一步得到實(shí)現(xiàn)有效同步的條件及方法。
　　3.以極大代數(shù)為工具，將計(jì)時(shí)事件圖(TIMED EVENT GRAPH)同步模型轉(zhuǎn)化為極大代數(shù)線性模型，并設(shè)計(jì)算法求解模型。
　　4.以快速公交換