Petri網(wǎng)的仿真軟件的研究.pdf

1、Carl Adam Petri于1962年在他的博士論文《Kommun Pcation mitautomation》中,正式提出了Petri網(wǎng)論。Petri網(wǎng)是一種適合描述離散的、分布式系統(tǒng)的數(shù)學(xué)建模工具。目前,世界各地已有許多科研人員專注于Petri網(wǎng)的研究,并有不少學(xué)者在Petri網(wǎng)的仿真軟件這一領(lǐng)域進(jìn)行了深入研究。本課題從Petri網(wǎng)的實(shí)用性著手,詳細(xì)研究了Petri網(wǎng)的分析和化簡(jiǎn)技術(shù),在此基礎(chǔ)上對(duì)Petri網(wǎng)的原圖和化簡(jiǎn)圖的等效

2、性進(jìn)行了分析。最后,在Petrilab2.0的基礎(chǔ)上實(shí)現(xiàn)了一個(gè)功能更加完善的Petri網(wǎng)仿真工具——Petrilab3.0。
　　 本文以眾多分析技術(shù)及Petri網(wǎng)的基本理論為依據(jù),采用MATLAB和VC++混合編程,利用面向?qū)ο蟮募夹g(shù),通過(guò)軟件再工程模式對(duì)譚丹等開(kāi)發(fā)的Petri網(wǎng)仿真軟件Petrilab2.0進(jìn)行了軟件再造。本文所實(shí)現(xiàn)的Petri網(wǎng)仿真軟件Petrilab3.0通過(guò)添加帶抑制弧的Petri網(wǎng)系統(tǒng)的仿真,增強(qiáng)了工

3、具的模擬仿真能力。該仿真軟件目前適用于EN系統(tǒng)、P/T系統(tǒng)、自控網(wǎng)系統(tǒng)(包括帶約束弧和不帶約束弧的兩種自控網(wǎng))以及帶抑制弧的Petri系統(tǒng)。同時(shí),為了實(shí)現(xiàn)對(duì)復(fù)雜系統(tǒng)的模擬分析功能,本文對(duì)Petri網(wǎng)的化簡(jiǎn)規(guī)則進(jìn)行了深入研究,并在軟件中實(shí)現(xiàn)了比較完善的化簡(jiǎn)功能。最后,經(jīng)過(guò)對(duì)原型系統(tǒng)進(jìn)行全面的測(cè)試及運(yùn)行調(diào)試,證明了系統(tǒng)運(yùn)行穩(wěn)定可靠,分析結(jié)果準(zhǔn)確無(wú)誤且仿真方便快捷,與同類仿真軟件相比,該文所實(shí)現(xiàn)的Petri網(wǎng)仿真軟件—Petrilab3.0功