情報フロー、表示システムの静的および動的プロパティの抽象、形式的なモデル。A ペトリネット通常、円弧、および動的なプロパティを示すのマーキング (トークンと呼ばれます) で接続されているノード (場所と遷移と呼ばれます) の 2 種類を持つグラフとして表されます。