vrr/doc
2
0
Fork 0
mirror of https://github.com/bpmbpm/doc.git synced 2026-04-28 03:20:38 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions

Update intro1.md

Browse source
This commit is contained in:
Dmitry 2026-04-17 11:10:48 +03:00 • committed by GitHub
parent 86a45fa13a
commit 824f5868f2
No known key found for this signature in database
GPG key ID: B5690EEEBB952194
1 changed files with 3 additions and 3 deletions
Download patch file Download diff file Expand all files Collapse all files

6
BPM/workflow/Petri/intro1.md
View file

@ -38,11 +38,11 @@ cyberleninka.ru
- Ингибиторная сеть Петри — возможны ингибиторные дуги, запрещающие срабатывания перехода при наличии метки во входной позиции. - Ингибиторная сеть Петри — возможны ингибиторные дуги, запрещающие срабатывания перехода при наличии метки во входной позиции.
- Иерархическая сеть — содержит не мгновенные переходы, в которые вложены другие сети. - Иерархическая сеть — содержит не мгновенные переходы, в которые вложены другие сети.
Особенности:
Особенности
- Асинхронная природа — в сетях Петри отсутствует явное измерение времени, акцент делается на частичном упорядочении событий. - Асинхронная природа — в сетях Петри отсутствует явное измерение времени, акцент делается на частичном упорядочении событий.
- Возможность моделирования состояний и переходов между ними. - Возможность моделирования состояний и переходов между ними.
- Анализ процессов за счёт разделения на позиции и переходы. - Анализ процессов за счёт разделения на позиции и переходы.
- Формальная верификация моделей — преимущество использования математических формализмов для моделирования систем. - Формальная верификация моделей — преимущество использования математических формализмов для моделирования систем.
link
- https://cyberleninka.ru/article/n/seti-petri-i-modelirovanie