一階混雜Petri網(wǎng)模型構(gòu)建與分析研究.pdf

1、一階混雜 Petri網(wǎng)作為 Petri網(wǎng)的一種擴(kuò)展形式，它能夠很好地描述混雜系統(tǒng)并對(duì)系統(tǒng)進(jìn)行動(dòng)態(tài)分析。近幾年，其研究熱點(diǎn)主要集中在基于語義的理論研究、系統(tǒng)優(yōu)化控制以及圖形化工具的設(shè)計(jì)等幾方面。首先，一階混雜 Petri網(wǎng)由于所要描述的系統(tǒng)狀態(tài)增多，繪圖量會(huì)隨之加大，傳統(tǒng)的手工畫圖，圖形粗糙，而且在大規(guī)模的繪圖過程中也容易出現(xiàn)錯(cuò)誤，所以對(duì)一階混雜 Petri網(wǎng)進(jìn)行圖像化開發(fā)顯得尤為重要；其次，有效沖突作為 Petri網(wǎng)的一種重要行為，也存

2、在于一階混雜 Petri網(wǎng)中，它的存在影響了對(duì)系統(tǒng)進(jìn)行動(dòng)態(tài)分析的安全性和可靠性，因此對(duì)其進(jìn)行分析與解決對(duì)一階混雜Petri網(wǎng)理論研究有重要價(jià)值。
　　本文作者首先以一階混雜 Petri網(wǎng)理論為基礎(chǔ)，運(yùn)用面向?qū)ο笳Z言Java編程，開發(fā)了一階混雜 Petri網(wǎng)的建模與驗(yàn)證系統(tǒng)，用本系統(tǒng)可以繪制出一階混雜Petri網(wǎng)的所有元素及其屬性，在繪制過程中能夠自動(dòng)驗(yàn)證所繪制元素及其屬性的正確性，有效避免了人為失誤，并結(jié)合一個(gè)柔性制造系統(tǒng)的實(shí)例對(duì)