New scheme for verifying rule-based systems using Petri nets

Proceedings of the IEEE International Conference on Systems, Man and Cybernetics

Volumn 1, Issue , 1999, Pages

  Inazumi, Hiroshige ^a   Omoto, Narihiro ^a  

^a AOYAMA GAKUIN UNIVERSITY   (Japan)

Author keywords

[No Author keywords available]

Indexed keywords

ALGORITHMS; COMPUTER SIMULATION; ERROR CORRECTION; ERROR DETECTION; KNOWLEDGE BASED SYSTEMS; VECTORS;

DEADLOCK LOOP; RULE BASED SYSTEMS; STRUCTURAL ERRORS; TRANSITION INVARIANT;

PETRI NETS;

EID: 17044444918     PISSN: 08843627     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (2)