000 01499nam0a2200337 4500
001 RU\NLR\bibl\1156052
005 20250615081504.0
021 _aRU
_b2007-70520
_93789
035 _a(NLR Aleph) 001142825
090 _a1428571
_c1428571
100 _a20071117d2006 |||y0rusy50 ca
101 0 _arus
_deng
102 _aRU
105 _aa |||||||||
200 1 _aСтруктурный анализ поведения непрерывно-временных сетей Петри
_dStructural analysis of dense-time Petri nets behaviour
_fАлександр В. Быстров
210 _aНовосибирск
_cИнститут систем информатики СО РАН
_d2006
215 _a32 с.
_cил.
_d21
225 1 _aПрепринт
_fРос. акад. наук, Сиб. отд-ние, Ин-т систем информатики им. А.П. Ершова
_v137
300 _aАвт. также на англ. яз.: Aleksandr V. Bystrov
300 _aРез. на англ. яз.
320 _aБиблиогр.: с. 19 (13 назв.)
510 0 _6z45790
_aStructural analysis of dense-time Petri nets behaviour
_zeng
606 1 _aПетри сети
_xАнализ
_91323377
_3RU\NLR\auth\66234335
686 _aЗ973.202-015
700 1 _aБыстров
_bА. В.
_gАлександр В
_4070
790 1 _6z45510
_aBystrov
_bA. V.
_gAleksandr V
_4070
801 0 _aRU
_bNLR
_c20071117
_gRCR
801 1 _aRU
_bNLR
_c20071117
942 _cBOOK
980 _aNB