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