TY  - BOOK
AU  - Сидорова, Н. С.
TI  - Бисимуляционно-эквивалентные преобразования сетей Петри
T2  - Препринт
VL  - N 1
PY  - 1998///
CY  - Ярославль
PB  - ЯрГУ
KW  - Петри сети
KW  - Преобразования (мат.) полиномиальные - вычисление на вычислительных машинах
KW  - 519.179.2
KW  - 3
KW  - rus
KW  - 27.45
KW  - rugasnti
KW  - 22.174
KW  - rubbk
N2  - Библиогр.: с. 47-49 (36 назв.)
ER  -