В 18 Т19 Тарасюк, Игорь Валерьевич. Эквивалентности для поведенческого анализа параллельных и распределенных вычислительных систем : монография / И. В. Тарасюк ; отв. ред. В. Н. Касьянов ; Институт систем информатики им. А.П. Ершова СО РАН. - Новосибирск : Гео, 2007. - 321 с. : рис. - Библиогр.: с. 287-315. - 1.00 р.
Кл.слова (ненормированные): сети Петри -- алгебры процессов Держатели документа: ИСЭМ Доп.точки доступа: Касьянов, В.Н. \отв. ред.\; Институт систем информатики им. А.П. Ершова СО РАН Имеются экземпляры в отделах: ХР Инв.44301 (свободен) |
З 973.2 В 19 Васильев, Всеволод Викторович. Сети Петри, параллельные алгоритмы и модели мультипроцессорных систем / В. В. Васильев, В. В. Кузьмук ; Ин-т пробл. моделирования в энергетике. - Киев : Наук. думка, 1990. - 216 с. : ил. - Библиогр.: с. 209 - 211 (66 назв.). - ISBN 5-12-001271-х : 3.20 р.
Кл.слова (ненормированные): СЕТИ ПЕТРИ -- МУЛЬТИПРОЦЕССОРНЫЕ СИСТЕМЫ -- ПАРАЛЛЕЛЬНЫЕ ПРОЦЕССЫ Держатели документа: ИСЭМ Доп.точки доступа: Кузьмук, Валерий Валентинович; Институт проблем моделирования в энергетике АН УССР (Киев) Имеются экземпляры в отделах: ХР Инв.38493 (свободен) |