Alain Ourghanlian

Coloured Petri Nets for Temporal Performance Evaluation of Distributed Control Systems - Application to a FIFO Queue

Temporal performances (like response time) of distributed control systems must be measurable for critical systems. The delay and reliability requirements require us to develop an exhaustive method to evaluate these performances through the most accurate models, such as (max,+) algebra combined with