Enhancing Stochastic Petri Nets with Reconfigurability: Modeling, Analysis and Performance Evaluation - Tigane (IEEE, 2003)