Gravar-mail: A Stochastic Petri Net-Based Model of the Involvement of Interleukin 18 in Atherosclerosis