プレース、トランジション、トークンの3つの要素を使用した有向グラフでシステムの動作を記述する図法です。並行する処理同士の制御の流れや同期のタイミングを分析・設計するために用いられます。トランジションは入力プレースと出力プレースに連結され、プレースがトークンをもつとき条件を満たしていることを表します。入力プレースのトークンが所定数に達するとトランジションが発火し、トークンは入力プレースから出力プレースに移動します。このようにペトリネットでは、トークンの流れや処理の連鎖によってシステムの動作を分析します。
