Text this: Enhancing stochastic Petri nets with reconfigurability :