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

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

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