Отладка систем защиты с использованием сетей Петри
90-4/4670 русский (rus)/Отладка систем защиты с использованием сетей Петри / В.В. Кульба, Д.А. Миронов, Е.Б. Соколова ; Ин-т пробл. управления.Отладка систем защиты с использованием сетей Петри / В.В. Кульба, Д.А. Миронов, Е.Б. Соколова.Отладка систем защиты с использованием сетей Петри. - Препр.М./ИПУ/, 1990 ( ). - ИПУ, 1990. - 49, [1] с. : ил. ; 20 см.Отладка систем защиты с использованием сетей Петри. Препр.М., 1990 .