Text this: Time Petri Nets for Modelling and Analysis of Biochemical Networks.