| Наименование РИД |
PetriNet Analyzer: инструмент для построения, моделирования и анализа сетей Петри
|
| Реферат |
Программа генерирует матрицу инцидентности для сетей Петри, которая является инструментом для анализа сложных систем. Она позволяет строить и анализировать сети Петри на основе данных о целенаправленных действиях (переходах), событиях (позициях) и их взаимосвязях, вводимых пользователем или загружаемых из файла. Полученная матрица инцидентности служит основой для исследования свойств сети Петри, в том числе для выявления инвариантов, обеспечивая возможность формальной верификации и оптимизации работы системы. Применение программы способствует повышению эффективности анализа и проектирования и может использоваться исследователями, аналитиками и специалистами в области моделирования, системного анализа и информационной безопасности. Тип ЭВМ: IBM PC-совмест. ПК. ОС: Windows, Linux.
Язык программирования: Python
Объем программы для ЭВМ: 20 КБ
|
| Возможные направления использования |
Применение программы способствует повышению эффективности анализа и проектирования и может использоваться исследователями, аналитиками и специалистами в области моделирования, системного анализа и информационной безопасности.
|
| Количество опытных образцов |
0
|
| Количество просмотров |
3
|
| Наличие дополнительных файлов |
True
|
| Использование РИД правообладателем |
False
|
| Внешнее использование РИД |
False
|
| НИОКТР (JSON) |
{}
|
| ИКСИ (JSON) |
[]
|
| ИКСПО (JSON) |
[]
|
| ОЭСР (JSON) |
[]
|
| Дата первого статуса |
2025-11-25T11:32:43.009703+00:00
|
| Предполагаемый тип результата |
Программа для ЭВМ
|
| Ожидаемая роль |
Исполнитель
|
| Заказчик |
ФЕДЕРАЛЬНОЕ ГОСУДАРСТВЕННОЕ АВТОНОМНОЕ ОБРАЗОВАТЕЛЬНОЕ УЧРЕЖДЕНИЕ ВЫСШЕГО ОБРАЗОВАНИЯ "КРЫМСКИЙ ФЕДЕРАЛЬНЫЙ УНИВЕРСИТЕТ ИМЕНИ В.И. ВЕРНАДСКОГО"
|
| Руководитель работы |
Орлов Игорь Владимирович
|
| Руководитель организации |
Курьянов Владимир Олегович
|
| Регистрационный номер НИОКТР |
АААА-А21-121011990090-3
|
| Последний статус |
Подтверждена, 626012800313-6, 2026-01-28 12:52:56 UTC
|
| ОКПД |
Оригиналы программного обеспечения прочие
|
| Ключевые слова |
моделирование; построение; сложные системы; сети Петри; матрицу инцидентности
|
| Исполнители |
ФЕДЕРАЛЬНОЕ ГОСУДАРСТВЕННОЕ АВТОНОМНОЕ ОБРАЗОВАТЕЛЬНОЕ УЧРЕЖДЕНИЕ ВЫСШЕГО ОБРАЗОВАНИЯ "КРЫМСКИЙ ФЕДЕРАЛЬНЫЙ УНИВЕРСИТЕТ ИМЕНИ В.И. ВЕРНАДСКОГО"
|
| Авторы |
Бочко Анна Юрьевна
|
| Коды тематических рубрик |
27.39.15 - Линейные пространства, снабженные топологией, порядком и другими структурами
|
| OESR |
Прикладная математика; Общая математика
|
| Приоритеты научно-технического развития |
а) переход к передовым технологиям проектирования и создания высокотехнологичной продукции, основанным на применении интеллектуальных производственных решений, роботизированных и высокопроизводительных вычислительных систем, новых материалов и химических соединений, результатов обработки больших объемов данных, технологий машинного обучения и искусственного интеллекта;
|
