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

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

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