Interactive-Control-Model for Human-Computer Interactive System Based on Petri Nets. - Zhijun Ding; Haojie Qiu; Ru Yang; Changjun Jiang; MengChu Zhou (IEEE Trans Autom. Sci. Eng., 2019)