Linear logic as a tool for presentation and temporal reasoning of time Petri nets

Proceedings of the American Control Conference

Volumn 5, Issue , 2000, Pages 3177-3181

  Meimei, Gao ^a   Xiaoguang, Huang ^a   Zhiming, Wu ^a  

^a SHANGHAI JIAO TONG UNIVERSITY   (China)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTATION THEORY; COMPUTATIONAL METHODS; DISCRETE TIME CONTROL SYSTEMS; MATHEMATICAL MODELS;

LINEAR LOGIC; TEMPORAL REASONING; TIME PETRI NETS;

PETRI NETS;

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

References (10)