A Petri net with negative tokens and its application to automated reasoning

Midwest Symposium on Circuits and Systems

Volumn 2, Issue , 1991, Pages 762-765

  Murata, T ^a   Yamaguchi, H ^a  

^a UNIVERSITY OF ILLINOIS AT CHICAGO   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

ARTIFICIAL INTELLIGENCE; COMPUTER METATHEORY - FORMAL LOGIC;

AUTOMATED REASONING; OPERATIONAL SEMANTICS; PROPOSITIONAL LOGIC;

MATHEMATICAL TECHNIQUES;

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

References (11)