Deadlock Control of Automated Manufacturing Systems Based on Petri Nets—A Literature Review 论文
2011IEEE Transactions on Systems Man and Cybernetics Part C (Applications and Reviews)引用 297
Petri Nets in System ModelingFlexible and Reconfigurable Manufacturing SystemsFormal Methods in Verification