diff --git a/BPM/workflow/Petri/matrix1.md b/BPM/workflow/Petri/matrix1.md index 756e52ed..dce80bae 100644 --- a/BPM/workflow/Petri/matrix1.md +++ b/BPM/workflow/Petri/matrix1.md @@ -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 Существенная разница в вычислительной сложности между универсальными сетями Слепцова и Петри достаточно легко объяснима: во время обработки кода ленты машины Тьюринга, который представляет собой экспоненту от ширины рабочей зоны, универсальная сеть Петри извлекает одну фишку на шаге, в то время как универсальная сеть Слепцова извлекает все фишки. В результате мы приходим к быстрым арифметическим операциям, а именно умножению и делению, которые являются основными для кодирования/декодирования заданной сети.