Colored GSPN models and automatic symmetry detection

Volumn , Issue , 1989, Pages 50-60

  Chiola, G ^a   Franceschinis, G ^a  

^a UNIVERSITY OF TURIN   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

AUTOMATA THEORY--FINITE AUTOMATA; MATHEMATICAL MODELS;

COLORED PETRI NETS (CPN); REACHABILITY GRAPH (RG);

MATHEMATICAL TECHNIQUES;

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

References (15)