|
|
|
|
| LEADER |
00952nam a2200325 4500 |
| 001 |
DLU110129997 |
| 005 |
##20111223 |
| 040 |
# |
# |
|a DLU
|b eng
|
| 041 |
# |
# |
|a eng
|
| 044 |
# |
# |
|a uk
|
| 100 |
# |
# |
|a Liu, GuanJun.
|
| 245 |
# |
# |
|a A necessary and sufficient condition for the liveness of normal nets /
|c GuanJun Liu, ChangJun Jiang, Daniel Y. Chao.
|
| 653 |
# |
# |
|a Liveness
|
| 653 |
# |
# |
|a Normal nets
|
| 653 |
# |
# |
|a Petri nets
|
| 653 |
# |
# |
|a Siphons
|
| 653 |
# |
# |
|a Structural repetitiveness
|
| 653 |
# |
# |
|a Weakly persistent nets
|
| 700 |
# |
# |
|a Chao, Daniel Y.
|
| 700 |
# |
# |
|a Jiang, ChangJun.
|
| 773 |
# |
# |
|t The Computer Journal
|g Vol. 54, no. 1 (January 2011), p. 157-163
|
| 920 |
# |
# |
|a Phòng Tạp chí -- Trung tâm Thông tin - Thư viện Trường Đại học Đà Lạt
|
| 994 |
# |
# |
|a DLU
|
| 900 |
# |
# |
|a True
|
| 911 |
# |
# |
|a Trương Bảo Trâm Anh
|
| 925 |
# |
# |
|a G
|
| 926 |
# |
# |
|a A
|
| 927 |
# |
# |
|a BB
|
| 980 |
# |
# |
|a Thư viện Trường Đại học Đà Lạt
|
