Fewer monitors and more efficient controllability for deadlock control in S3PGR2 (Systems of simple sequential processes with general resource requirements) /

অনুরূপ উপাদানগুলি

• Sequence of control in S3PMR /
  অনুযায়ী: Shih, Yu-Ying.
• A necessary and sufficient condition for the liveness of normal nets /
  অনুযায়ী: Liu, GuanJun.
• Verification of hazard, race and deadlock in GALS-circuit /
  অনুযায়ী: Nguyen Quy Thuong.
• Implementation of learning path in process control model /
  অনুযায়ী: Luo, Junzhou.
• Generalized nets /
  অনুযায়ী: Atanassov, Krassimir T.
  প্রকাশিত: (1991)