SystemC implementation of Stochastic Petri Nets for Simulation and Parametrization of Biological Networks