Petri net

既定 英語（イギリス） (en-GB)

名詞

S is a set of places. / T is a set of transitions. / S and T are disjoint, i.e. no object can be both a place and a transition

日本語の意味

Petriネットとは、場所（place）の集合Sと遷移（transition）の集合Tから構成される形式モデルであり、SとTは互いに排反している（すなわち、どのオブジェクトも場所と遷移の両方には属さない）。

このボタンはなに？

In this Petri net, S denotes a set of places used to model resource allocation.

この構造では、Sは資源割当てをモデル化するために用いられる場所の集合を表します。

詳細

意味（1）

S is a set of places.

意味（2）

T is a set of transitions.

意味（3）

S and T are disjoint, i.e. no object can be both a place and a transition

意味（4）

F is a set of arcs known as a flow relation. The set F is subject to the constraint that no arc may connect two places or two transitions, or more formally: F⊆(S⨯T)∪(T⨯S).

意味（5）

M_0:S→ℕ is an initial marking, where for each place s∈S, there are n_s∈ℕ tokens.

意味（6）

W:F→ℕ⁺ is a set of arc weights, which assigns to each arc f∈F some n∈ℕ⁺ denoting how many tokens are consumed from a place by a transition, or alternatively, how many tokens are produced by a transition and put into each place.

Petri nets （ plural ）