Самохина А.С. Компьютерные методы и средства управления в чрезвычайных ситуациях, обусловленных биологическими факторами: автореф. дис. ... докт. техн. наук : 05.13.11. - M, 2010.
Морозов и.а. математическое и программное обеспечение диспетчеризации беспроводных распределенных компьютерных сИСТЕМ: автореф. дис. ... канд. техн. наук : 05.13.11. - M, 2007.
Чурина Т.Г. Моделирование и валидация коммуникационных протоколов, представленных на языках estelle и sdl, с помощью сетей петри высокого уровня: автореф. дис. ... канд. физ.-мат. наук : 05.13.11. - M, 2000.
В. К.Р. Раскрашенных сетей петри и их применение для верификации моделей распределенных систем: автореф. дис. ... канд. физ.-мат. наук : 05.13.11. - M, 2010.