Stokastiskt petrinät
Stokastiska petrinät är en form av petrinät där övergångarna avfyras efter en probabilistisk fördröjning som bestäms av en slumpvariabel .
Definition
0 Ett stokastiskt petrinät är ett femtuppel SPN = ( P , T , F , M , Λ ) där:
- P är en uppsättning tillstånd som kallas platser .
- T är en uppsättning övergångar .
- F där F ⊂ ( P × T ) ∪ ( T × P ) är en uppsättning flödesrelationer som kallas "bågar" mellan platser och övergångar (och mellan övergångar och platser).
- 0 M är den initiala markeringen .
- Λ = är uppsättningen av skjuthastigheter λ associerad med övergångarna. Avfyrningshastigheten, en slumpmässig variabel , kan också vara en funktion λ( M ) av den aktuella markeringen.
Korrespondens till Markov-processen
Nåbarhetsgrafen för stokastiska petrinät kan mappas direkt till en Markov - process . Det uppfyller Markov-egendomen , eftersom dess tillstånd endast beror på den aktuella märkningen. Varje tillstånd i nåbarhetsgrafen mappas till ett tillstånd i Markov-processen, och avfyrningen av en övergång med skjuthastighet λ motsvarar en Markov-tillståndsövergång med sannolikhet λ.