CS logo CS dept
space
Титул
Введение
UML-диаграмма вариантов использования
UML-диаграмма состояний
Сети Петри
Вычислительные эксперименты
Модель в среде GPSS
Вычислительные эксперименты
Заключение
Valid HTML 4.01!
Valid CSS!
Yellow Pages
HotLog

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

  • Система, обслуживающая запросы
  • Ресурс
  • Запросы двух типов
  • Обработка запросов
  • Время моделирования
Обобщённая модель функционирования системы в виде раскрашенной сети Петри.
Сеть Петри

Pi - позиции
Ti - переходы