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