A high-level Petri nets-based approach to verifying task structures | IEEE Journals & Magazine | IEEE Xplore