References
- Chao , DY . 2006 . Computation of elementary siphons in Petri nets for deadlock control . The Computer Journal , 49 ( 4 ) : 470 – 479 .
- Chao , DY . 2010 . Technical Note – Reaching more states for control of FMS . International Journal of Production Research , 48 ( 4 ) : 1217 – 1220 .
- Uzam , M and Zhou , M . 2006 . An improved iterative synthesis method for liveness enforcing supervisors of flexible manufacturing systems . International Journal of Production Research , 44 ( 10 ) : 1987 – 2030 .