并發系統中遇到的一個主要問題是定時問題。這個問題可以表現為多種形式，如同步問題、競爭條件以及死鎖問題。用于確定系統中隱含的定時問題的一種有效技術是Petri網，這種技術的一個很大的優點是它也可以用于設計中。Petri網是由CarlAdam Petri發明的。在性能評價、操作系統和軟件工程等領域，Petri網應用得都比較廣泛。特別是已經證明，用Petri網可以有效地描述并發活動。
Petri網適合于描述異步的、并發的計算機系統模型。Petri網是對離散并行系統的數學表示；既有嚴格的數學表述方式，也有直觀的圖形表達方式，既有豐富的系統描述手段和系統行為分析技術，又為計算機科學提供堅實的概念基礎。Petri網旨在描述變遷之間的因果關系，并由此構造時序。
)
...)
