Emulating Self-adaptive Stochastic Petri Nets