Fewer monitors and more efficient controllability for deadlock control in S3PGR2 (Systems of simple sequential processes with general resource requirements) /
Spremljeno u:
| Glavni autor: | Chao, Daniel Y. |
|---|---|
| Format: | Članak |
| Jezik: | English |
| Teme: | |
| Oznake: |
Dodaj oznaku
Bez oznaka, Budi prvi tko označuje ovaj zapis!
|
| Thư viện lưu trữ: | Thư viện Trường Đại học Đà Lạt |
|---|
Similar Items
-
Sequence of control in S3PMR /
od: Shih, Yu-Ying. -
A necessary and sufficient condition for the liveness of normal nets /
od: Liu, GuanJun. -
Verification of hazard, race and deadlock in GALS-circuit /
od: Nguyen Quy Thuong. -
Implementation of learning path in process control model /
od: Luo, Junzhou. -
Generalized nets /
od: Atanassov, Krassimir T.
Izdano: (1991)