Efficient Simulation and Parametrization of Stochastic Petri Nets in SystemC: A Case study from Systems Biology | IEEE Conference Publication | IEEE Xplore