1、近年來(lái),虛擬實(shí)驗(yàn)室技術(shù)的研究得到普遍重視.虛擬實(shí)驗(yàn)克服了傳統(tǒng)實(shí)驗(yàn)存在的缺點(diǎn),使實(shí)驗(yàn)過(guò)程變得更方便,資源投入更少,維護(hù)也更容易.此主要探討虛擬實(shí)驗(yàn)室系統(tǒng)中的數(shù)字邏輯虛擬實(shí)驗(yàn)系統(tǒng).數(shù)字邏輯虛擬實(shí)驗(yàn)系統(tǒng)中的一個(gè)難點(diǎn)是仿真電路故障診斷的實(shí)現(xiàn).仿真電路故障診斷可分為自動(dòng)故障診斷和手工故障診斷兩方面,具體就涉及到仿真電路模型、故障模型的建立以及虛擬儀器的設(shè)計(jì),它們直接影響到整個(gè)系統(tǒng)的性能以及系統(tǒng)的易用性.仿真電路是指對(duì)數(shù)字邏輯電路的軟件仿真,也就是

2、數(shù)字邏輯虛擬實(shí)驗(yàn)系統(tǒng)中的電路.通過(guò)對(duì)數(shù)字邏輯電路的研究分析,發(fā)現(xiàn)利用Petri網(wǎng)對(duì)仿真電路進(jìn)行建模分析比較方便,因?yàn)镻etri網(wǎng)是一種可用圖形表示的組合模型,具有直觀、易懂和易用的優(yōu)點(diǎn),十分適合描述并發(fā)現(xiàn)象,同時(shí)Petri網(wǎng)又是嚴(yán)格定義的數(shù)學(xué)對(duì)象,借助數(shù)學(xué)思想的Petri網(wǎng)分析方法和技術(shù)既可用于靜態(tài)的結(jié)構(gòu)分析,又可用于動(dòng)態(tài)的行為分析.這些特點(diǎn)使得Petri網(wǎng)很適合數(shù)字電路的建模與分析.因此,將Petri網(wǎng)的分析方法與計(jì)算機(jī)仿真的數(shù)字電路