Petri 網即有嚴格的形式定義,又有直觀的圖形表示,即有豐富的系統描述手段和系統行為分析技術,又為計算機科學提供堅實的概念基礎。是大學計算機系重點課程.
隨機Petri網作為壹種靈活有力的建模機制,被廣泛應用於計算機和通信系統的性能與可靠性評價.綜述了隨機時間Petri網各主要子類的發展歷程與研究現狀.