Interactive-Control-Model for Human–Computer Interactive System Based on Petri Nets | IEEE Journals & Magazine | IEEE Xplore