Boolean approach to the state machine decomposition of petri nets with OBDD's

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

Volumn 4, Issue , 1995, Pages 3451-3456

  Garcia Valles, F ^a   Colom, J M ^a  

^a UNIVERSITY OF ZARAGOZA   (Spain)

Author keywords

[No Author keywords available]

Indexed keywords

ALGORITHMS; BOOLEAN FUNCTIONS; COMPUTATIONAL METHODS; DECISION THEORY; ELECTRIC NETWORK SYNTHESIS; ENCODING (SYMBOLS); GRAPH THEORY; LOGIC PROGRAMMING; MATHEMATICAL MODELS; PROBLEM SOLVING; SYSTEMS ANALYSIS;

BINARY DECISION DIAGRAMS; BOOLEAN REASONING; STATE MACHINE DECOMPOSITION;

PETRI NETS;

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

References (9)