Mi Zhao, Zhiwu Li, MengChu Zhou: On Supervisory Control of a Class of Discrete Event Systems Modeled by Petri Nets. CASE 2007: 1-6