A formalized forward reasoning algorithm based on the basic structure of Petri net is proposed. By establishing the association matrix, identification vector and excitation vector of Petri net and combining Petri net with matrix operation, a sub-model can be extracted from the Petri net model, thus converting a large and complex system into a small system that is only related to the problem. This algorithm makes full use of the parallel processing capability of Petri net, narrows the scope of subsequent applications and accelerates the efficiency of subsequent applications. Keywords Petri net; knowledge representation; reasoning algorithm
You Might Like
Recommended ContentMore
Open source project More
Popular Components
Searched by Users
Just Take a LookMore
Trending Downloads
Trending ArticlesMore