Knowledge verification with an enhanced high-level Petri-Net model | IEEE Journals & Magazine | IEEE Xplore