Petri網表征語言和可達性分析.pdf

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

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

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