Knowledge Representation Scheme Based on Petri Net Theory

An original knowledge representation scheme named KRP based on Petri net theory is proposed. The formal description of the scheme, and the inference procedure similar to "intersection search" in semantic networks, are given.