ペトリネット（Petri Net）とは、カール・アダム・ペトリが1962年に発表した
離散分散システムを数学的に表現する手法である。モデリング言語としては分散
システムを注釈付の有向2部グラフとして視覚的に表現する。

状態遷移の視覚表現の一手法。

派生: