Many-sorted high-level nets

Volumn , Issue , 1989, Pages 166-179

  Billington, Jonathan ^a  

^a Telecom Australia Research Lab   (Australia)

Author keywords

[No Author keywords available]

Indexed keywords

AUTOMATA THEORY--FINITE AUTOMATA; MATHEMATICAL MODELS; MATHEMATICAL TECHNIQUES--PETRI NETS;

COLORED PETRI NETS;

COMPUTER SYSTEMS, DIGITAL;

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

References (22)