Rule base verification using Petri nets

Proceedings - IEEE Computer Society's International Computer Software and Applications Conference

Volumn , Issue , 1998, Pages 476-481

  Yang, Stephen J H ^a   Lee, Alex S ^a   Chu, William C ^a   Yang, Hongji ^a  

^a NATIONAL CENTRAL UNIVERSITY   (Taiwan)

Author keywords

[No Author keywords available]

Indexed keywords

ERROR DETECTION; MATHEMATICAL TRANSFORMATIONS; MATRIX ALGEBRA; PETRI NETS; SYSTEMS ANALYSIS;

INCIDENCE MATRIX; RULE BASE VERIFICATION;

EXPERT SYSTEMS;

EID: 0032289231     PISSN: 07303157     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (10)