ペトリネット

出典: フリー百科事典『ウィキペディア（Wikipedia）』

移動：案内, 検索

ペトリネット

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

[編集] 概要

視覚的で、数学的な離散事象システムをモデル化するツールの一つである。この概念を創ったカール・アダム・ペトリの名を取りペトリネットと呼ぶ。

有向グラフの一種で、初期マーキングと呼ばれる初期状態を持つ。ペトリネットのサブクラスとして、マークグラフ、ステートマシン等がある。

また、モノイドの性質も持つ。[1]を参照。

プレース（丸で表記）、トランジション（棒または箱で表記）という２種類のノードがあり、

アークは、

のように接続する

プレース $p$ が、非負整数 $k$ に割り当てられたとき、

プレース $p$ は $k$ 個のトークンでマーキングされている。

と言い、このときトークンはプレース $p$ 内の $k$ 個の点として図示される。

Meseguer, J. Montanari, U. , Petri nets are monoids, information and computation 88, 105-155, 1990