Development of real-time system specifications through the refinement of duration interval Petri nets

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

Volumn 4, Issue , 2000, Pages 3098-3103

  Gurovic, D ^a   Fengler, W ^a   Nuetzel, J ^a  

^a ILMENAU UNIVERSITY OF TECHNOLOGY   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

MATHEMATICAL MODELS; PETRI NETS; SYSTEMS ANALYSIS;

DURATION INTERVAL TRANSITIONS;

REAL TIME SYSTEMS;

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

References (8)