TY - BOOK AU - Чурина, Т. Г. TI - Способ построения раскрашенных сетей Петри, моделирующих SDL-системы T2 - Препринт VL - 56 PY - 1998/// CY - Новосибирск PB - Ин-т систем информатики KW - Петри, сети KW - Проектирование KW - nlr-sh1 KW - RU\NLR\auth\661292999 KW - З973.202-02-5-05 N2 - Библиогр.: с. 55-56 ER -