Зайцев Д.А. Методи аналізу та синтезу моделей телекомунікаційних систем на основі функціональних сіток Петрі. - Рукопис. Дисертація на здобуття наукового ступеня доктора технічних наук за спеціальністю 05.12.02 - телекомунікаційні системи та мережі. - Одеська національна академія зв'язку ім. О.С. Попова, Одеса, 2006. Для аналізу деталізованих моделей Петрі телекомунікаційних протоколів розроблено основи теорії функціональних сіток Петрі. Побудовано методи редукції часових сіток Петрі на основі еквівалентних перетворень формул передатної функції; досліджено слабкі типи еквівалентності сіток. Розроблено методи синтезу функцій непереривної логіки заданих табличне. Розроблено основи теорії кланів систем лінійних алгебраїчних рівнянь, які дозволяють прискорити розв'язання систем в кільцях зі знаком, а також відповідні алгоритми та програмне забезпечення. Розроблено методи синтезу моделей Петрі за стандартними специфікаціями телекомунікаційних протоколів з використанням допоміжної мови взаємодіючих послідовних процесів Хоара. Синтезовано модель Петрі протоколу електронної комерції IOTP. Виконано верифікацію протоколів ЕСМА, BGP, TCP, IOTP. Розроблено метод композиційного обчислення інваріантів нескінченних сіток Петрі з регулярною структурою; метод застосовано для доказу інваріантності моделі Петрі мережі Ethernet з топологією спільної шини. Розроблено методи побудови моделей телекомунікаційних систем через композицію моделей компонентів, оцінки функціональних характеристик моделей; досліджено: комутовану Ethernet, мережі з комутацією міток MPLS, мережі Bluetooth. Ключові слова: телекомунікаційна система, телекомунікаційний протокол, функціональна сітка Петрі, клан, аналіз, синтез.