1、Petri網(wǎng)的可達(dá)性是Petri網(wǎng)的重要性質(zhì)，其判定問題在Petri網(wǎng)理論中是一個重要課題。本文對Petri網(wǎng)的可達(dá)標(biāo)識集做了一些分析，主要內(nèi)容包括以下幾個方面：
　　1)提出了Petri網(wǎng)的表征語言的概念，證明了任意Petri網(wǎng)都具有一個上下文有關(guān)語言為其表征語言，并找出了幾種具有正規(guī)的表征語言的Petri網(wǎng)。
　　定義了標(biāo)識向字符串的映射函數(shù)，從而將Petri網(wǎng)的標(biāo)識映射為由庫所組成的串，將Petri網(wǎng)的可達(dá)標(biāo)識集映射為

2、這些串的集合，稱這個集合為網(wǎng)系統(tǒng)的表征語言，顯然一個網(wǎng)系統(tǒng)的表征語言不是唯一的。表征語言描述了網(wǎng)系統(tǒng)的可達(dá)標(biāo)識集，即網(wǎng)系統(tǒng)的狀態(tài)空間。
　　有界網(wǎng)系統(tǒng)和公平網(wǎng)系統(tǒng)都存在正規(guī)的表征語言；如果一個網(wǎng)系統(tǒng)只有一個本原可重復(fù)向量，那么它也具有正規(guī)的表征語言。
　　2)給出了表征語言為正規(guī)語言的網(wǎng)系統(tǒng)的可達(dá)性判定方法。
　　本文提出了等價的表征語言的概念。對正規(guī)表達(dá)式的運算規(guī)則做了擴(kuò)充，使得任意的正規(guī)表達(dá)式都可以轉(zhuǎn)化為另一個新的

3、表達(dá)式，新的表達(dá)式中不含括號運算且它的各個加項都不含嵌套的閉包運算，新的表達(dá)式生成的語言和原來的表達(dá)式生成的語言能夠表征同一個網(wǎng)系統(tǒng)。最后給出了對具有正規(guī)的表征語言的Petri網(wǎng)進(jìn)行可達(dá)性判定的方法。
　　3)給出了Petri網(wǎng)死標(biāo)識可達(dá)性判定的方法。
　　如果一個Petri網(wǎng)Σ1具有死標(biāo)識，則存在一組Petri網(wǎng)，這些Petri網(wǎng)和Σ1具有相同的庫所集且初始標(biāo)識為空標(biāo)識，這些網(wǎng)的可達(dá)標(biāo)識集的并集DM等于Σ1的基網(wǎng)的所有死標(biāo)