Documents Savoirs .., Discrete event modeling and analysis for systems biology models Hayssam Soueidan