Extending design space optimization heuristics for use with stochastic colored Petri nets | IEEE Conference Publication | IEEE Xplore