有色時(shí)間Petri網(wǎng)與隨機(jī)Petri網(wǎng)應(yīng)用研究.pdf

1、Petri網(wǎng)是一種適合于描述異步并發(fā)現(xiàn)象的系統(tǒng)模型，是離散事件系統(tǒng)建模的一種強(qiáng)有力工具，但是在使用基本Petri網(wǎng)來為復(fù)雜系統(tǒng)建模時(shí)會出現(xiàn)“節(jié)點(diǎn)爆炸”問題，有色時(shí)間Petri網(wǎng)(CTPN)是克服該問題的有效途徑之一。多范式建模通過耦合和轉(zhuǎn)換以整合不同方法建立的模型來綜合利用多種形式化方法，可以全面準(zhǔn)確地描述建模對象，可以大大的減輕仿真建模的工作量、提高整個(gè)仿真過程的效率。依據(jù)多范式建模理論，本文提出了基于規(guī)則化描述方法的CTPN建模方法

2、，同時(shí)發(fā)揮兩種建模方法的優(yōu)勢，有利于全面準(zhǔn)確地反映系統(tǒng)的設(shè)計(jì)內(nèi)容，并以汽車車身控制系統(tǒng)為例為其建立模型，為復(fù)雜系統(tǒng)建模和模擬驗(yàn)證提供一定的借鑒。 工作流管理技術(shù)是90年代初興起的軟件技術(shù)，工作流是一個(gè)業(yè)務(wù)過程的全部或部分自動執(zhí)行，為了實(shí)現(xiàn)工作流管理功能，我們必須將業(yè)務(wù)過程從現(xiàn)實(shí)世界中抽象出來，并用一種形式化方法對其進(jìn)行描述，其結(jié)果稱為是工作流模型。Petri網(wǎng)作為一種圖形化的數(shù)學(xué)建模工具，適合于工作流領(lǐng)域的建模需求，提出了基于廣