Models and Languages for Computational Systems Biology - Lecture 16 Quantitative Analysis of Petri Nets