Parallel and sequential mutual exclusions for petri net modeling of manufacturing systems with shared resources 论文

1991IEEE Transactions on Robotics and Automation引用 333
DOI
Petri Nets in System ModelingDistributed systems and fault toleranceFormal Methods in Verification
Distributed systems and fault tolerancePetri Nets in System ModelingFormal Methods in Verification
相关技术:Petri Nets in System ModelingFormal Methods in Verification
关系图谱

Parallel and sequential mutual exclusions for petri net modeling of manufacturing systems with shared resources · 相关技术

相关技术

Petri Nets in System ModelingFormal Methods in Verification