Gravar-mail: Quantitative modeling of stochastic systems in molecular biology by using stochastic Petri nets