Stochastická Petriho síť - Stochastic Petri net - Wikipedia
 | tento článek potřebuje další citace pro ověření. (Leden 2014) (Zjistěte, jak a kdy odstranit tuto zprávu šablony) |
Stochastické Petriho sítě jsou formou Petriho síť kde přechody střílejí po pravděpodobnostním zpoždění určeném a náhodná proměnná.
Definice
A stochastická Petriho síť je n-tice SPN = (P, T, F, M0, Λ) kde:
- P je sada států, tzv místa.
- T je sada přechody.
- F kde F ⊂ (P × T) ∪ (T × P) je sada tokových vztahů zvaných „oblouky“ mezi místy a přechody (a mezi přechody a místy).
- M0 je počáteční značení.
- Λ = je pole rychlost střelby λ spojené s přechody. Rychlost střelby, a náhodná proměnná, může být také funkce λ (M) aktuálního označení.
Korespondence s Markovovým procesem
The dosažitelnost graf stochastických Petriho sítí lze namapovat přímo na a Markov proces. Splňuje to Majetek Markov, protože jeho stavy závisí pouze na aktuálním značení. Každý stav v grafu dosažitelnosti je mapován na stav v Markovově procesu a střelba přechodu s rychlostí střelby λ odpovídá přechodu stavu Markov s pravděpodobností λ.
Softwarové nástroje
Reference
- ^ Dingle, N.J .; Knottenbelt, W. J .; Suto, T. (2009). „PIPE2“. Hodnocení vyhodnocení výkonu ACM SIGMETRICS. 36 (4): 34. doi:10.1145/1530873.1530881.
- ^ Carnevali, L .; Ridi, L .; Vicario, E. (2013). „Kvantitativní přístup ke generování vstupů při testování stochastických systémů v reálném čase“. Transakce IEEE v softwarovém inženýrství. 39 (3): 292. doi:10.1109 / TSE.2012.42.
- ^ Amparore, E. G. (2014). Msgstr "Nové grafické rozhraní GreatSPN pro úpravy GSPN a kontrolu modelu CSLTA". Kvantitativní hodnocení systémů. Přednášky z informatiky. 8657. str. 170. doi:10.1007/978-3-319-10696-0_13. ISBN 978-3-319-10695-3.