pdf

Forward Reasoning Algorithm of Petri Net

  • 2013-09-19
  • 174.32KB
  • Points it Requires : 2

         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

unfold

You Might Like

Uploader
huhuhah0009
 

Recommended ContentMore

Popular Components

Just Take a LookMore

EEWorld
subscription
account

EEWorld
service
account

Automotive
development
circle

About Us Customer Service Contact Information Datasheet Sitemap LatestNews


Room 1530, 15th Floor, Building B, No.18 Zhongguancun Street, Haidian District, Beijing, Postal Code: 100190 China Telephone: 008610 8235 0740

Copyright © 2005-2024 EEWORLD.com.cn, Inc. All rights reserved 京ICP证060456号 京ICP备10001474号-1 电信业务审批[2006]字第258号函 京公网安备 11010802033920号
×