Tigane Enhancing Stochastic Petri Nets with Reconfigurability: Modeling, Analysis and Performance Evaluation - IEEE Source: EBOOK