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

Авторы

  • Р Т Шмельова
  • Д А Зайцев
  • І Д Зайцев

Аннотация

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

Загрузки

Выпуск

Раздел

Радіотехніка і телекомунікації