Applicability of Stochastic Petri Nets to Performance Modeling