An application of Petri nets to supervisory control for human-computer interactive systems | IEEE Journals & Magazine | IEEE Xplore