МЕТОД ПЕРЕТВОРЕННЯ МОДЕЛЕЙ ТЕЛЕКОМУНІКАЦІЙНИХ СИСТЕМ НАДАНИХ У ВИГЛЯДІ CІТОК ПЕТРІ

Анотація

. Розроблено метод перетворення моделей телекомунікаційних систем наданих у вигляді нескінченних сіток Петрі в розфарбовані сітки Петрі. Метод призначений для оцінки часових і ймовірнісних характеристик телекомунікаційних мереж. Базовий фрагмент нескінченної сітки вико¬ристовується як графічний шаблон при формуванні розфарбованих сіток, подальший процес перет¬ворення моделі полягає в деталізації атрибутів елементів сіток, за допомогою абстрактних типів даних і функцій мови функціонального програмування CPN ML. Модель доповнюється вимірювальними фрагментами для оцінки продуктивності й якості обслуговування мережі. На основі попередніх оцінок обмеженості, живості і безпеки систем, виконаних шляхом аналізу нескінченних сіток Петрі, сформова¬ні засоби оцінки кількісних характеристик поведінки систем. Побудову виконано на прикладі перетво¬рення моделі прямокутної обчислювальної ґратки. Використання розфарбованих сіток дозволило уточнити кількісні показники процесів блокування ґратки за допомогою робочого навантаження.