A time petri net based approach for embedded hard real-time software synthesis with multiple operational modes

2005 ◽  
Author(s):  
Eduardo Tavares ◽  
Paulo Maciel ◽  
Arthur Bessa ◽  
Raimundo Barreto ◽  
Leonardo Barros ◽  
...  
Keyword(s):  
Real Time ◽  
Petri Net ◽  
Software Synthesis ◽  
Time Petri Net ◽  
Hard Real Time ◽  
Operational Modes

A time Petri net-based method for embedded hard real-time software synthesis

2008 ◽  
Vol 12 (1-2) ◽  
pp. 31-62 ◽  
Author(s):  
Raimundo Barreto ◽  
Paulo Maciel ◽  
Eduardo Tavares ◽  
Romulo Devezas Freitas ◽  
Meuse Oliveira ◽  
...  
Keyword(s):  
Real Time ◽  
Petri Net ◽  
Software Synthesis ◽  
Time Petri Net ◽  
Hard Real Time
Sign in / Sign up

Export Citation Format

Share Document