Modélisation et Evaluation des performances des systemes

Modeling and Performance evaluation are the main methodes to say if a given system is safe and/or robust. The work starts with modeling the real system using tools , exp: Petri Nets or Markov chain, then specify some properties and chech their validity.