確率ペトリネット

確率ペトリネットは、確率変数によって決定される確率的な遅延の後に遷移が発生するペトリネットの一種です。

確率ペトリネットは、5つのタプルからなるSPN = ( P , T , F , M ₀ , Λ )であり、以下の条件を満たす。

1. Pは、場所と呼ばれる状態の集合です。
2. Tは遷移の集合である。
3. F は、場所と遷移の間（および遷移と場所の間）の「アーク」と呼ばれるフロー関係の集合です。
4. M _0は初期マーキングです。
5. Λ =は、遷移に関連付けられた発火率 λの配列です。発火率は確率変数であり、現在のマーキングの関数 λ( M ) にもなり得ます。

確率ペトリネットの到達可能性グラフは、マルコフ過程に直接マッピングできます。その状態は現在のマーキングのみに依存するため、マルコフ性を満たします。到達可能性グラフの各状態はマルコフ過程の状態にマッピングされ、発火率λでの遷移の発火は、確率λでのマルコフ状態遷移に対応します。

• プラットフォーム非依存のペトリネットエディタ^{[ 1 ]}
• ORISツール^{[ 2 ]}
• GreatSPN ^{[ 3 ]}

• 確率ペトリネット：入門
• 確率ペトリネット