Time constraints verification methods based on time Petri nets

Proceedings of the IEEE Computer Society Workshop on Future Trends of Distributed Computing Systems

Volumn , Issue , 1997, Pages 262-267

  Toussaint, Joel ^a   Simonot Lion, Francoise ^a   Thomesse, Jean Pierre ^a  

^a CRIN   (France)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER SIMULATION; DATA COMMUNICATION SYSTEMS; NETWORK PROTOCOLS; PETRI NETS; REAL TIME SYSTEMS;

TIME CONSTRAINTS VERIFICATION METHODS; TIME PETRI NETS;

DISTRIBUTED COMPUTER SYSTEMS;

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

References (19)