Synthesizing Petri nets from state-based models

IEEE/ACM International Conference on Computer-Aided Design, Digest of Technical Papers

Volumn , Issue , 1995, Pages 164-171

  Cortadella, Jordi ^a   Kishinevsky, Michael ^a   Lavagno, Luciano ^a   Yakovlev, Alex ^a  

^a UNIVERSITAT POLITÈCNICA DE CATALUNYA   (Spain)

Author keywords

[No Author keywords available]

Indexed keywords

ALGORITHMS; FINITE AUTOMATA; MATHEMATICAL MODELS;

ELEMENTARY TRANSITION SYSTEM (ETS); PLACE IRREDUNDANT PETRI NET; REACHABILITY GRAPH; STATE BASED MODELS;

PETRI NETS;

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

References (13)