Аналіз квадратних комунікаційних ґраток нескінченними сітями Петрі*

Анотація

Надано методику обчислення інваріантів для нескінченних сітей Петрі з регулярною структурою на прикладі квадратних комунікаційних ґраток довільного розміру. Системи лінійних алгебраїчних рівнянь для знаходження p-інваріантів і отримані розв’язки подані у параметричному вигляді. Запропонована нова методика конструктивного доказу t-інваріантості на основі побудови базисних циклів спрацьовування переходів. Обґрунтовано, що примушена буферизація пакетів приводить до блокування телекомунікаційних пристроїв. Вивчено структуру складних тупиків, що містять довільну кількість комунікаційних пристроїв, зумовлених циклом блокувань та ізоляцією пристроїв.