Fewer monitors and more efficient controllability for deadlock control in S3PGR2 (Systems of simple sequential processes with general resource requirements) /
Sparad:
| Huvudupphovsman: | Chao, Daniel Y. |
|---|---|
| Materialtyp: | Artikel |
| Språk: | English |
| Ämnen: | |
| Taggar: |
Lägg till en tagg
Inga taggar, Lägg till första taggen!
|
| Thư viện lưu trữ: | Thư viện Trường Đại học Đà Lạt |
|---|
Liknande verk
-
Sequence of control in S3PMR /
av: Shih, Yu-Ying. -
A necessary and sufficient condition for the liveness of normal nets /
av: Liu, GuanJun. -
Verification of hazard, race and deadlock in GALS-circuit /
av: Nguyen Quy Thuong. -
Implementation of learning path in process control model /
av: Luo, Junzhou. -
Generalized nets /
av: Atanassov, Krassimir T.
Publicerad: (1991)