Performance Models for Discrete Event Systems with Synchronizations: Formalisms and Analysis Techniques
MATCH Summer School

Intended Audience

People interested in performance evaluation of DEDS through modelling. The material and the lectures of the school will be organized in such a way that the following two, complementary, type of audience can profit from the school:

• people with a background in performance evaluation willing to deepen their knowledge on performance modelling through a Petri net based approach to the problem,
• people with a background in untimed Petri Net theory (or alternative formalisms, like Process Algebras) willing to explore the use of the formalism for performance evaluation.

Special introductory lectures will be given to provide a common basic background for all the participants.