Информационно-образовательный ресурс для изучения и анализа динамики сетей Петри

Аннотация: Решается задача повышения эффективности и доступности изучения и анализа математического аппарата сетей Петри. Разработан информационно-образовательный ресурс в виде веб-приложения, который позволяет проводить анализ и изучать обыкновенные и ингибиторные сети Петри. Ресурс имеет встроенную базу знаний и систему информационных подсказок. При разработке ресурса использованы классические алгоритмы из теории графов и линейной алгебры. Важным отличием разработанного ресурса является возможность построения дерева разметок для сетей Петри любой величины и сложности.

Ключевые слова: информационно-образовательный ресурс, сети Петри, алгоритм нахождения инвариантов, полное покрывающее дерево.

A.S. Mikhaylov, A.A. Popov, A. Shinkaruk

Information and educational resource for studying and analyzing the dynamics of petri nets

Summary: The problem of increasing the efficiency and accessibility of studying and analyzing the mathematical apparatus of Petri nets is being solved. An information and educational resource has been developed in the form of a web application that allows you to analyze and study ordinary and inhibitory Petri nets. The resource has a built-in knowledge base and a system of information prompts. When developing the resource, classical algorithms from graph theory and linear algebra were used. An important difference of the developed resource is the ability to build a markup tree for Petri nets of any size and complexity.

Keywords: information and educational resource, Petri nets, algorithm for finding invariants, complete spanning tree.

DOI: 10.34219/2078-8320-2023-14-1-85-90