Вид документа : Однотомное издание (Препринт) Шифр издания : Автор(ы) : Сидорова Н.С. Заглавие : Бисимуляционно-эквивалентные преобразования сетей Петри Выходные данные : Ярославль, 1998 Колич.характеристики :51 с.: ил. Серия: Препринт; N1 Цена : Б.ц. ГРНТИ : ; 50.07.03 УДК : Предметные рубрики: Петри сети Содержание :