TY  - BOOK
AU  - Окунишникова, Е. В.
TI  - Отображение Estelle-спецификаций в раскрашенные сети Петри и его обоснование
T2  - Препринт / Рос. акад. наук, Сиб. отд-ние, Ин-т систем информатики им. А. П. Ершова
VL  - 90
PY  - 2001///
CY  - Новосибирск
PB  - ИСИ
KW  - Петри сети
KW  - Математическое моделирование
KW  - nlr-sh2
KW  - RU\NLR\auth\661307351
KW  - Отображения (мат.)
KW  - 517.275
KW  - 3
KW  - rus
KW  - 27.23
KW  - rugasnti
KW  - 22.16
KW  - rubbk
KW  - З973.202-01с116
N2  - Библиогр.: с. 57-59
ER  -