Алгоритмы трансляции UCM-спецификаций в раскрашенные сети Петри = UCM - Specifications to colored Petri nets translation flgorithms / Н. В. Визовитин, В. А. Непомнящий
Параллельное заглавие: : z11790UCM - Specifications to colored Petri nets translation flgorithms, английскийЯзык: русский ; резюме, английский.Выходные данные: Новосибирск : Институт систем информатики им. А. П. Ершова СО РАН, 2012Физическая характеристика: 55 с. : ил., табл. ; 21 см.Серия: Препринт ; 168Примечания: Авт. также на англ. яз.: N.V. Vizovitin, V.A. Nepomniaschy; Рез. на англ. яз..Библиография: Библиогр.: с. 49-50 (10 назв.).Предметная рубрика - Тема: Информация -- Передача -- Протоколы | Петри сети -- Математическое моделирование Неконтролируемые предметные термины: UCM-спецификацииДругие классификации: З811.3 ; З973.202-01с116Коллекция: НБР Тип экземпляра: КнигаНет реальных экземпляров для этой записи
Авт. также на англ. яз.: N.V. Vizovitin, V.A. Nepomniaschy
Рез. на англ. яз.
Библиогр.: с. 49-50 (10 назв.)