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

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

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