Modeling and recognition of hand gesture using colored Petri nets | IEEE Journals & Magazine | IEEE Xplore