CS logo CS dept
space
Титул
Введение
Моделирование
Сети Петри
Электронная библиотека КАРНЦ РАН
Моделирование сервисов
Текущие результаты
Valid HTML 4.01!
Valid CSS!
Yellow Pages
HotLog

Моделирование сервисов с использованием Сетей Петри


  • Разработана и реализована модель сети Петри, реализующая процесс функционирования сервисов публикации и поиска ЭБ КарНЦ РАН.
    Но эта модель все же не является универсальной, она лишь отражает функционирование конкретных сервиса. С помощью разработанной ранее программы не только нельзя смоделировать функционирование произвольного сервиса, но даже внесение изменений в алгоритм работы данной электронной библиотеки повлечет изменение алгоритма программы - что недопустимо.
  • Построения универсального программного средства моделирования функционирования различных сервисов.
    • во-первых, дать программе возможность моделировать сети Петри разной конфигурации, т. е. с разным количеством узлов и разной сложности и количеством связей между этими узлами;
    • во-вторых, нужно придумать набор параметров для узлов и связей, среди которых пользователь мог бы выбирать необходимые ему.