Deadlock avoidance in sequential resource allocation systems with multiple resource acquisitions and flexible routings 论文

2001IEEE Transactions on Automatic Control引用 383
DOI
Petri Nets in System ModelingFlexible and Reconfigurable Manufacturing SystemsFormal Methods in Verification
Petri Nets in System ModelingFormal Methods in VerificationFlexible and Reconfigurable Manufacturing Systems
相关技术:Petri Nets in System ModelingFormal Methods in Verification
关系图谱

Deadlock avoidance in sequential resource allocation systems with multiple resource acquisitions and flexible routings · 相关技术

相关技术

Petri Nets in System ModelingFormal Methods in Verification