Kamus

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