Hand-in-glove human-machine interface and interactive control: task process modeling using dual Petri nets | IEEE Conference Publication | IEEE Xplore