Petri網(wǎng)可達(dá)圖的并行算法.pdf

1、死鎖是柔性制造系統(tǒng)必須考慮和解決的問(wèn)題。由于Petri網(wǎng)具有可以檢測(cè)死鎖并建立死鎖控制策略來(lái)處理死鎖的能力,它們適合建模和控制FMS系統(tǒng)中的死鎖問(wèn)題?？蛇_(dá)圖反映了一個(gè)網(wǎng)系統(tǒng)的所有動(dòng)態(tài)行為,這使得它成為Petri網(wǎng)死鎖控制的一種重要分析技術(shù)?？墒?一個(gè)Petri網(wǎng)可達(dá)圖的規(guī)模和網(wǎng)結(jié)構(gòu)及其初始標(biāo)識(shí)的大小成指數(shù)關(guān)系。這使得枚舉網(wǎng)的所有可達(dá)狀態(tài)變得困難,同時(shí)也是非常耗時(shí)的。
　　 論文致力于Petri網(wǎng)可達(dá)圖的并行算法。傳統(tǒng)的方法計(jì)算規(guī)

2、模大的Petri網(wǎng)時(shí)經(jīng)常遇到兩個(gè)問(wèn)題:過(guò)長(zhǎng)的計(jì)算時(shí)間和內(nèi)存溢出。為了克服以上問(wèn)題,本文利用并行算法求解一個(gè)給定網(wǎng)的所有可達(dá)狀態(tài),并通過(guò)一些例子驗(yàn)證了該算法的高效性。在論文中,主要做了三方面的工作。
　　 1.單進(jìn)程的算法求出一個(gè)Petri網(wǎng)的所有可達(dá)狀態(tài)。這個(gè)算法比傳統(tǒng)的算法在求解所有可達(dá)狀態(tài)有更高的效率。
　　 2.多進(jìn)程計(jì)算Petri網(wǎng)所有可達(dá)狀態(tài)。由于每個(gè)進(jìn)程在一臺(tái)獨(dú)立的計(jì)算機(jī)上執(zhí)行任務(wù),因此總的計(jì)算效率顯然提高了