Герб МГТУ им. Н.Э. БауманаНаучно-техническая библиотека МГТУ им. Н.Э. Баумана

Подробное описание документа

   Статья

Звягин Д. С., Пьянков О. В., Копылов А. Н.
   Матричный подход решения задач достижимости в стохастических сетях Петри / Звягин Д. С., Пьянков О. В., Копылов А. Н. - URL: https://vestniken.bmstu.ru/catalog/math/compmath/1031.html (дата обращения: 11.03.2026). - DOI 10.18698/1812-3368-2022-3-4-16 // Вестник МГТУ им. Н. Э. Баумана. Сер. Естественные науки. - 2022. - № 3. - С. 4-16.

Скачать документ
Полнотекстовый документ
DOI 10.18698/1812-3368-2022-3-4-16
vestniken.bmstu.ru/catalog/math/compmath/1031.html

Работа направлена на развитие теории стохастических сетей Петри и их практического применения при исследовании дискретных систем. Рассмотрена возможность решения задачи достижимости в стохастических сетях Петри с использованием матричных уравнений, широко применяемых в сетях Петри. Приведены этапы и особенности составления матричных уравнений для стохастических сетей. Введены правила введения виртуальных элементов (позиций и переходов) в стохастическую сеть Петри для составления и разрешения матричных уравнений. Рассмотрены примеры различных по структуре и составу стохастических сетей Петри на возможность применения матричных уравнений. Показано, что достижимость требуемых состояний сетей определяется через срабатывание переходов, являющихся решением матричного уравнения. Приведены объяснения получаемых результатов. Разработан алгоритм, позволяющий проверить истинность выдвинутого предположения и наглядно определить ограничения на применение матричных уравнений для различных исходных состояний моделируемой системы. В графическом виде представлены результаты работы предложенного алгоритма на примерах стохастических сетей Петри, моделирующих процесс производства судебной почерковедческой экспертизы. Сделан вывод о применимости матричных уравнений в стохастических сетях Петри и необходимости проведения дальнейших исследований в указанной области Просьба ссылаться на эту статью следующим образом: Звягин Д.С., Пьянков О.В., Копылов А.Н. Матричный подход решения задач достижимости в стохастических сетях Петри. Вестник МГТУ им. Н.Э. Баумана. Сер. Естественные науки, 2022, № 3 (102), с. 4–16. DOI: https://doi.org/10.18698/1812-3368-2022-3-4-16

519.711.3 Математические вопросы моделирования управляющих систем

Статья опубликована в следующих изданиях

с. 4-16
   Журнал
   Вестник МГТУ им. Н. Э. Баумана. Сер. Естественные науки. - ISSN 1812-3368 (print). - ISSN 2686-8768 (web).
   № 3. - 2022.