Petri net-based representation of rules and verification of consistency  

作　　者：丁彩虹 姜兴渭 黄文虎 

出　　处：《Journal of Harbin Institute of Technology(New Series)》2001年第2期125-128,共5页哈尔滨工业大学学报（英文版）

基　　金：theHighTechnologyResearchProject-SpaceItem (GrantNo.86 3 2 4 5 1)

摘　　要：Presents the proposition for verification of consistency based upon an accurate Petri net built for rules using the reachability concept and status equation of Petri net, and illustrates the specific steps of this application with a typical example.Presents the proposition for verification of consistency based upon an accurate Petri net built for rules using the reachability concept and status equation of Petri net, and illustrates the specific steps of this application with a typical example.

关 键 词：Rule based system consistency verification Petri net 

分 类 号：TP277[自动化与计算机技术—检测技术与自动化装置] TP206[自动化与计算机技术—控制科学与工程]