References
- Chu , F and Xie , XL . 1997 . Deadlock analysis of Petri nets using siphons and mathematical programming. . IEEE Transactions on Robotics and Automation , 13 : 793 – 804 .
- Huang , YS , Jeng , MD , Xie , XL and Chung , SL . 2001 . Deadlock prevention policy based on Petri nets and siphons. . Int. J. Prod. Res , 39 : 283 – 305 .