Стохастическая сеть Петри - Stochastic Petri net - Wikipedia

Стохастические сети Петри являются формой Сеть Петри где переходы срабатывают после вероятностной задержки, определяемой случайная переменная.

Определение

А стохастическая сеть Петри состоит из пяти элементов SPN = (п, Т, F, M0, Λ) куда:

  1. п это набор состояний, называемый места.
  2. Т это набор переходы.
  3. F куда F (п × Т) (Т × п) представляет собой набор потоковых отношений, называемых «дугами» между местами и переходами (а также между переходами и местами).
  4. M0 это начальная маркировка.
  5. Λ = это массив скорострельность λ связанные с переходами. Скорострельность, а случайная переменная, также может быть функцией λ (M) текущей маркировки.

Соответствие марковскому процессу

В достижимость граф стохастических сетей Петри можно напрямую отобразить на Марковский процесс. Это удовлетворяет Марковская собственность, поскольку его состояния зависят только от текущей маркировки. Каждое состояние в графе достижимости отображается в состояние в марковском процессе, и срабатывание перехода со скоростью срабатывания λ соответствует переходу состояния Маркова с вероятностью λ.

Программные инструменты

Рекомендации

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

внешняя ссылка