Deadlock prevention and avoidance in FMS: A Petri net based approach 论文
1998The International Journal of Advanced Manufacturing Technology引用 219
Petri Nets in System ModelingFlexible and Reconfigurable Manufacturing SystemsFormal Methods in Verification