TY - BOOK AU - Быстров, А. В. TI - Структурный анализ поведения непрерывно-временных сетей Петри T2 - Препринт VL - 137 PY - 2006/// CY - Новосибирск PB - Институт систем информатики СО РАН KW - Петри сети KW - Анализ KW - RU\NLR\auth\66234335 KW - З973.202-015 N2 - Библиогр.: с. 19 (13 назв.) ER -