Distributed Petri Net for Knowledge Base Grid reasoning | IEEE Conference Publication | IEEE Xplore