A necessary and sufficient condition for the liveness of normal nets /
שמור ב:
| מחבר ראשי: | Liu, GuanJun. |
|---|---|
| מחברים אחרים: | Chao, Daniel Y., Jiang, ChangJun. |
| פורמט: | Bài viết |
| שפה: | English |
| נושאים: | |
| תגים: |
הוספת תג
אין תגיות, היה/י הראשונ/ה לתייג את הרשומה!
|
| Thư viện lưu trữ: | Thư viện Trường Đại học Đà Lạt |
|---|
פריטים דומים
-
Sequence of control in S3PMR /
מאת: Shih, Yu-Ying. -
Fewer monitors and more efficient controllability for deadlock control in S3PGR2 (Systems of simple sequential processes with general resource requirements) /
מאת: Chao, Daniel Y. -
Generalized nets /
מאת: Atanassov, Krassimir T.
יצא לאור: (1991) -
Generalized nets /
מאת: Atanassov, Krassimir T.
יצא לאור: (1991) -
Application and Theory of Petri Nets and Concurrency:
36th International Conference, PETRI NETS 2015, Brussels, Belgium, June 21-26, 2015, Proceedings
מאת: Devillers, R, et al.
יצא לאור: (2015)