約束組合有色時(shí)間Petri網(wǎng)應(yīng)用研究.pdf

1、Petri網(wǎng)是一種適合于描述異步并發(fā)現(xiàn)象的系統(tǒng)模型，但是在使用基本Petri網(wǎng)來為復(fù)雜系統(tǒng)建模時(shí)會出現(xiàn)“節(jié)點(diǎn)爆炸”問題，本文提出約束組合弧克服該問題。約束組合弧不僅可以描述庫所組合觸發(fā)變遷的效果，而且可以描述變遷發(fā)生時(shí)部分輸入庫所托肯不變的情況。在為帶式輸送機(jī)聯(lián)鎖控制系統(tǒng)建模的過程中，提出了基于時(shí)間Petri網(wǎng)的帶式輸送機(jī)聯(lián)鎖控制系統(tǒng)模型，并將時(shí)間Petri網(wǎng)模型折疊成約束組合有色時(shí)間Petri網(wǎng)模型，提高了模型的抽象能力，降低了模型復(fù)

2、雜性。該建模過程也示例了約束組合弧在應(yīng)用中的優(yōu)越性。 多范式建模(Multi-Paradigm：Modeling)通過耦合和轉(zhuǎn)換以整合不同方法建立的模型來綜合利用多種形式化方法，可以全面準(zhǔn)確地描述建模對象。依據(jù)多范式建模理論，研究基于規(guī)則化描述方法自動生成系統(tǒng)約束組合有色時(shí)間Petri網(wǎng)模型的方法。這種建模思路有利于全面準(zhǔn)確地反映系統(tǒng)的設(shè)計(jì)內(nèi)容，可以大大的減輕仿真建模的工作量、提高整個(gè)仿真過程的效率。本文以汽車車身控制系統(tǒng)為例，