Программа верификации моделей на базе сети Петри с использованием  модифицированного метода Тоудика
Сети Петри, метод Тоудика, программа для ЭВМ
Программа предназначена для верификации сложных дискретных моделей на базе сетей Петри, с использванием модифицированного матричного метода Тоудика в учебном процессе. Модификация метода позволяет проводить верификацию моделей на различных расширениях сети Петри (СП), а именно: одинарные СП, числовые СП, цветные (раскрашенные) СП.
Проверка логической корректности моделей на базе сетей Петри. Используется в учебном процессе.
Суконщиков А.А.
Заведующий кафедрой автоматики и вычислительной техники
Кандидат технических наук
Приятелев В. В.
Ректор
28.17.19
Математическое моделирование
01.02.EX
COMPUTER SCIENCE, THEORY & METHODS
Алексей
Суконщиков
Александрович
100%
ВоГУ, ФГБОУ ВО ВоГУ, ФГБОУ ВО "Вологодский государственный университет", Вологодский государственный университет
Федеральное государственное бюджетное образовательное учреждение высшего образования "Вологодский государственный университет"
1023500876453
Организация
Министерство науки и высшего образования Российской Федерации
Федеральные государственные бюджетные учреждения
ВоГУ, ФГБОУ ВО ВоГУ, ФГБОУ ВО "Вологодский государственный университет", Вологодский государственный университет
Федеральное государственное бюджетное образовательное учреждение высшего образования "Вологодский государственный университет"
1023500876453
Организация
Министерство науки и высшего образования Российской Федерации
Федеральные государственные бюджетные учреждения