ペトリネット

ペトリネット（またはペトリネットモデル）とは、Petri(ペトリ)という人が1962年に発表した離散分散システムを数学的に表現する手法です。非同期的な情報の流れや制御を示すのに用いられます。分散システムをプレースとトランジションという2種類の節点をもつ有向2部グラフとして視覚的に表現しています。制御系システムに適用しやすいです。