Структурированные сети Петри в системах проектирования специализированных процессоровЕльчанинов, Дмитрий Борисович200021 с.