ペトリネット

名詞

標準

Petri-net

作例 · 標準

システムの並行処理の挙動を解析するために、ペトリネットを用いてモデル化を試みた。

幻辭AI · gemini-3-flash-preview

ペトリネットのトークンの動きを追うことで、デッドロックが発生する箇所を特定した。

幻辭AI · gemini-3-flash-preview

離散イベントシステムの記述において、ペトリネットは非常に強力な数学的ツールとなる。

幻辭AI · gemini-3-flash-preview

ウィキペディア

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