TY  - SER
AU  - Xie, X. L
AU  - Chu, F
TI  - Deadlock Analysis of Petri Nets Using Siphons and Mathematical Programming
KW  - Siphons
KW  - Manufacturing Systems
ER  -