Стохастическая сеть Петри - Википедия - Stochastic Petri net
 | Эта статья нужны дополнительные цитаты для проверка. (Январь 2014) (Узнайте, как и когда удалить этот шаблон сообщения) |
Стохастические сети Петри являются формой Сеть Петри где переходы срабатывают после вероятностной задержки, определяемой случайная переменная.
Определение
А стохастическая сеть Петри состоит из пяти элементов SPN = (п, Т, F, M0, Λ) куда:
- п это набор состояний, называемый места.
- Т это набор переходы.
- F куда F ⊂ (п × Т) ∪ (Т × п) представляет собой набор потоковых отношений, называемых «дугами» между местами и переходами (а также между переходами и местами).
- M0 это начальная маркировка.
- Λ = это массив скорострельность λ связанные с переходами. Скорострельность, а случайная переменная, также может быть функцией λ (M) текущей маркировки.
Соответствие марковскому процессу
В достижимость граф стохастических сетей Петри можно напрямую отобразить на Марковский процесс. Это удовлетворяет Марковская собственность, поскольку его состояния зависят только от текущей маркировки. Каждое состояние в графе достижимости отображается в состояние в марковском процессе, и срабатывание перехода со скоростью срабатывания λ соответствует переходу состояния Маркова с вероятностью λ.
Программные инструменты
Рекомендации
- ^ Dingle, N.J .; Knottenbelt, W. J .; Суто, Т. (2009). «ТРУБА2». Обзор оценки эффективности ACM SIGMETRICS. 36 (4): 34. Дои:10.1145/1530873.1530881.
- ^ Carnevali, L .; Ridi, L .; Викарио, Э. (2013). «Количественный подход к генерации входных данных при тестировании стохастических систем в реальном времени». IEEE Transactions по разработке программного обеспечения. 39 (3): 292. Дои:10.1109 / TSE.2012.42.
- ^ Ампароре, Э. Г. (2014). «Новый графический интерфейс GreatSPN для редактирования GSPN и проверки модели CSLTA». Количественная оценка систем. Конспект лекций по информатике. 8657. п. 170. Дои:10.1007/978-3-319-10696-0_13. ISBN 978-3-319-10695-3.