Xie, X. L Chu, F Deadlock Analysis of Petri Nets Using Siphons and Mathematical Programming. - 793-804 p. Subjects--Topical Terms: SiphonsManufacturing Systems