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

1、同步是自然界和人造系統(tǒng)中普遍存在的一種現(xiàn)象，表達了活動之間在邏輯及時間層面的相對關系。在實際系統(tǒng)中，相關活動之間有效同步的實現(xiàn)有著重要的意義。但是，同步在不同的實際系統(tǒng)中表現(xiàn)出不同的特征，形式也表現(xiàn)得很復雜。因此，運用適當?shù)姆椒▽ν浇⒛Ｐ停柚Ｐ腿パ芯坑行綄崿F(xiàn)的條件及方法就具有重要的理論意義和應用價值。
　　Petri網(wǎng)是一種圖形化的建模工具，它不僅可以通過網(wǎng)結構及托肯(Token)的運行表達活動之間的靜態(tài)邏輯關系，也可

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

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