TY  - BOOK
AU  - Анишев, П.А.
AU  - Бандман, О.Л.
TI  - Алгоритмы и программы анализа свойств сетей Петри
T2  - Препринт
VL  - 762
PY  - 1988///
CY  - Новосибирск
PB  - ВЦ СО АН СССР
N2  - Библиогр.: с. 31-32 (18 назв.)
ER  -