Зайцев Дмитро Анатолійович. Методи аналізу і синтезу моделей телекомунікаційних систем на основі функціональних сіток Петрі : Дис... д-ра наук: 05.12.02 - 2006.