Π演算對一般Petri網(wǎng)系統(tǒng)的表達(dá).pdf

1、Petri網(wǎng)與Π演算（π-calculus）是面向并發(fā)系統(tǒng)建模的兩種形式化模型。Petri網(wǎng)是一種可以用網(wǎng)狀圖形表示的系統(tǒng)模型，具有嚴(yán)密的數(shù)學(xué)解析理論，但由于其轉(zhuǎn)移與位置之間的連接是固定的，很難用于描述松散的動態(tài)耦合系統(tǒng)。Π演算是一種描述和分析并發(fā)系統(tǒng)的進(jìn)程代數(shù)，它通過進(jìn)程之間的相互作用來模擬并發(fā)系統(tǒng)的動態(tài)行為。Π演算中最簡單的實體是名字，它可以沿通道進(jìn)行傳送，且可以作為通道的名字，因此Π演算能夠描述松散的動態(tài)耦合系統(tǒng)。但由于同步通信原

2、語的缺少，它的通信不能一次性同步執(zhí)行，而是依次串行地執(zhí)行。
　　本文提出了一種Π演算表達(dá)一般Petri網(wǎng)系統(tǒng)的表達(dá)方法，從而證明了Π演算能夠表達(dá)一般的Petri網(wǎng)系統(tǒng)。在簡單介紹Petri網(wǎng)及Π演算的相關(guān)概念之后，分析了用Π演算表達(dá)一般Petri網(wǎng)系統(tǒng)存在的同步與判定問題，給出了基于通知機(jī)制與判定機(jī)制的解決方案，提出了一種Π演算對一般Petri網(wǎng)系統(tǒng)的表達(dá)方法，從而證明Π演算能夠表達(dá)一般的Petri網(wǎng)系統(tǒng)。
　　接下來給出一