Fewer monitors and more efficient controllability for deadlock control in S3PGR2 (Systems of simple sequential processes with general resource requirements) /
Gardado en:
| Autor Principal: | Chao, Daniel Y. |
|---|---|
| Formato: | Artigo |
| Idioma: | English |
| Những chủ đề: | |
| Các nhãn: |
Engadir etiqueta
Sen Etiquetas, Sexa o primeiro en etiquetar este rexistro!
|
| Thư viện lưu trữ: | Thư viện Trường Đại học Đà Lạt |
|---|
Títulos similares
-
Sequence of control in S3PMR /
por: Shih, Yu-Ying. -
A necessary and sufficient condition for the liveness of normal nets /
por: Liu, GuanJun. -
Verification of hazard, race and deadlock in GALS-circuit /
por: Nguyen Quy Thuong. -
Implementation of learning path in process control model /
por: Luo, Junzhou. -
Generalized nets /
por: Atanassov, Krassimir T.
Publicado: (1991)