帶弧標(biāo)識(shí)的時(shí)鐘同步Petri網(wǎng).pdf

1、嵌入式系統(tǒng)一般由兩部分構(gòu)成，即嵌入式CPU和數(shù)字邏輯電路。絕大部分嵌入式系統(tǒng)中的數(shù)字電路都有一個(gè)共同的特點(diǎn)，即嚴(yán)格的時(shí)鐘同步特性。由一個(gè)或多個(gè)時(shí)鐘信號(hào)控制各模塊執(zhí)行順序和時(shí)間的系統(tǒng)稱為時(shí)鐘同步系統(tǒng)，系統(tǒng)中各操作流程被嚴(yán)格地同步，時(shí)序上很小的錯(cuò)誤都可能導(dǎo)致意想不到的后果。所以，保證數(shù)字電路設(shè)計(jì)的正確性和可靠性是整個(gè)嵌入式系統(tǒng)能夠穩(wěn)定正常工作的前提。 目前對(duì)系統(tǒng)進(jìn)行正確性和可靠性分析和驗(yàn)證最常采用的是形式化方法，而Petri網(wǎng)以其充

2、分的模擬能力、豐富的分析方法和易于使用的特點(diǎn)正在被越來越廣泛地應(yīng)用。Petri網(wǎng)一詞既指Petri網(wǎng)模型，又指以這種模型發(fā)展起來的理論。本文首先介紹了經(jīng)典Petri網(wǎng)及由其發(fā)展的各種高級(jí)Petri網(wǎng)，并分別描述了它們的特點(diǎn)，并指出它們?cè)谇度胧较到y(tǒng)建模上的不足。然后我們針對(duì)數(shù)字電路系統(tǒng)的驗(yàn)證定義了一種新型Petri網(wǎng)，即帶弧標(biāo)識(shí)的時(shí)鐘同步Petri網(wǎng)(CSPN)。CSPN在時(shí)間Petri網(wǎng)的基礎(chǔ)上引入了同步時(shí)鐘的概念，特別適用于對(duì)時(shí)鐘同步