![]() |
Volumn 47, Issue 2, 2011, Pages 283-290
|
Timing and liveness in continuous Petri nets
|
Author keywords
Concurrent systems; Continuous systems; Deadlock; Petri nets; Safety analysis
|
Indexed keywords
CONCURRENT SYSTEMS;
CONTINUOUS MODELS;
CONTINUOUS PETRI NET;
CONTINUOUS SYSTEM;
CONTINUOUS SYSTEMS;
DEADLOCK;
DISCRETE EVENT SYSTEMS;
FIRING RATES;
HYBRID MODEL;
LIVENESS;
LIVENESS PROPERTIES;
NET MODEL;
RELAXATION TECHNIQUES;
SAFETY ANALYSIS;
STATE EXPLOSION PROBLEMS;
EXPLOSIONS;
GRAPH THEORY;
SECURITY SYSTEMS;
SEMANTICS;
PETRI NETS;
|
EID: 78751645584
PISSN: 00051098
EISSN: None
Source Type: Journal
DOI: 10.1016/j.automatica.2010.10.047 Document Type: Article |
Times cited : (15)
|
References (12)
|