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 matrix1.md

Browse source
This commit is contained in:
Dmitry 2026-04-17 15:01:28 +03:00 • committed by GitHub
parent 2a7098c3ac
commit a51015ab7d
No known key found for this signature in database
GPG key ID: B5690EEEBB952194
1 changed files with 1 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

1
BPM/workflow/Petri/matrix1.md
View file

@ -26,3 +26,4 @@ and Cybernetics: Systems. 2014. V. 44. No. 1. 2014. P. 47–58.
- Сеть Слепцова – это двудольный ориентированный мультиграф, дополненный
динамическим процессом [13]. Обозначим сеть Слепцова как N = (P, T, W, R, m), где P и T это непересекающиеся множества вершин называемых позиции и переходы соответственно,
отображение F описывает дуги соединяющие вершины, отношение R представляет приоритеты переходов, и отображение m задаёт начальное состояние (маркировку).
- c47 Существенная разница в вычислительной сложности между универсальными сетями Слепцова и Петри достаточно легко объяснима: во время обработки кода ленты машины Тьюринга, который представляет собой экспоненту от ширины рабочей зоны, универсальная сеть Петри извлекает одну фишку на шаге, в то время как универсальная сеть Слепцова извлекает все фишки. В результате мы приходим к быстрым арифметическим операциям, а именно умножению и делению, которые являются основными для кодирования/декодирования заданной сети.