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

Анотація

Виконано аналіз технології наскрізної комутації пакетів за допомогою моделей, побудованих у формі нескінченних сіток Петрі. Побудована модель комунікаційного пристрою з наскрізною комутацією пакетів. Виконана композиція прямокутної комунікаційної гратки довільного розміру. Прямий і двоїстий параметричний опис сітки Петрі з регулярною структурою застосований для специфікації нескінченних систем лінійних рівнянь, обчислення інваріантів позицій і переходів сітки Петрі, верифікації протоколів телекомунікаційних систем з прямокутною коміркою. Показано, що в прямокутних комунікаційних ґратках довільного розміру з комунікаційним пристроєм, що реалізує наскрізну комутацію пакетів, виникають взаємні блокування пристроїв і складні тупики.