Time-Soundness of Time Petri Nets Modelling Time-Critical Systems

2018 ◽  
Vol 2 (2) ◽  
pp. 1-27 ◽  
Author(s):  
Guanjun Liu ◽  
Changjun Jiang ◽  
Mengchu Zhou
2017 ◽  
Vol 50 (1) ◽  
pp. 5843-5848
Author(s):  
F. Basile ◽  
P. Chiacchio ◽  
J. Coppola
Keyword(s):  

2020 ◽  
Vol 53 (4) ◽  
pp. 187-192
Author(s):  
Jan Komenda ◽  
Aiwen Lai ◽  
José Godoy Soto ◽  
Sébastien Lahaye ◽  
Jean-louis Boimond

10.5772/7500 ◽  
2010 ◽  
Author(s):  
Lucio Flavio ◽  
Joao Batista Camargo Junior
Keyword(s):  

Sign in / Sign up

Export Citation Format

Share Document