Interval Generalized Stochastic Petri Net Models in Performance Evaluation | IEEE Conference Publication | IEEE Xplore