Stochastic Petri Net in Scala