共 27 条
[7]
Deadlock analysis of Petri nets using siphons and mathematical programming
[J].
IEEE TRANSACTIONS ON ROBOTICS AND AUTOMATION,
1997, 13 (06)
:793-804