Стохастическая сеть Петри

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

Определение

Стохастическая сеть Петри — это пятикортежная SPN = ( P , T , F , M ₀ , Λ ), где:

P — это набор состояний, называемых местами .
T — набор переходов .
F где F ⊂ ( P × T ) ∪ ( T × P ) — это набор отношений потока, называемых «дугами», между местами и переходами (а также между переходами и местами).
М ₀ – начальная маркировка .
Λ = — массив скоростей стрельбы λ, связанных с переходами. Темп стрельбы, случайная величина , также может быть функцией λ( M ) текущей маркировки.

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

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

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

Ссылки

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

Внешние ссылки

[1] Дингл, Нью-Джерси; Ноттенбелт, В.Дж.; Суто, Т. (2009). «ТРУБА2». Обзор оценки производительности ACM SIGMETRICS . 36 (4): 34. дои : 10.1145/1530873.1530881 . S2CID 3265173 .

[2] Карневали, Л.; Риди, Л.; Викарио, Э. (2013). «Количественный подход к генерации входных данных при тестировании стохастических систем в реальном времени». Транзакции IEEE по разработке программного обеспечения . 39 (3): 292. doi : 10.1109/TSE.2012.42 . S2CID 8064028 .

[3] Ампароре, Э.Г. (2014). «Новый графический интерфейс GreatSPN для редактирования GSPN и проверки модели CSLTA». Количественная оценка систем . Конспекты лекций по информатике. Том. 8657. стр. 170–173. дои : 10.1007/978-3-319-10696-0_13 . ISBN 978-3-319-10695-3 .

[1]

[2]

[3]