排隊(duì)系統(tǒng)的Petri網(wǎng)建模與驗(yàn)證.pdf

1、系統(tǒng)建模、驗(yàn)證和系統(tǒng)設(shè)計(jì)方案的確認(rèn)是復(fù)雜分布式系統(tǒng)工程設(shè)計(jì)與建設(shè)中的重要研究議題。 排隊(duì)系統(tǒng)和我們的生活息息相關(guān)，排隊(duì)論正是為了研究這類問題而發(fā)展起來的。但是排隊(duì)模型缺乏系統(tǒng)結(jié)構(gòu)和動(dòng)態(tài)邏輯行為的分析能力，而且難以描述包含多種不同類型的排隊(duì)過程的系統(tǒng)和分析系統(tǒng)組件間的相互聯(lián)系、制約、同步等現(xiàn)象。而這正是Petri網(wǎng)的強(qiáng)項(xiàng)。如何結(jié)合這兩種分析方法成為研究的熱點(diǎn)。本文提出了一種可行的方法。 本文首先對(duì)本文理論基礎(chǔ)：排隊(duì)網(wǎng)理論、

2、Petri網(wǎng)理論、GSPN（廣義隨機(jī)Petri網(wǎng)）理論，相關(guān)的仿真工具，以及文章后面的案例背景國防部體系結(jié)構(gòu)框架（DoDAF）進(jìn)行概要的介紹。然后給出一種比較成熟的排隊(duì)網(wǎng)與Petri網(wǎng)結(jié)合的分層建模分析方法。 在論文的主體部分，給出了各種排隊(duì)網(wǎng)基本結(jié)構(gòu)的對(duì)應(yīng)廣義隨機(jī)Petri網(wǎng)模型，實(shí)現(xiàn)排隊(duì)模型向GSPN模型的轉(zhuǎn)化，然后詳細(xì)闡述了自己提出的另一種排隊(duì)網(wǎng)和Petri網(wǎng)結(jié)合方法：排隊(duì)系統(tǒng)的GSPN分析法。并且介紹為實(shí)現(xiàn)該方法而開發(fā)的