TY - SER AU - Franceschini, G AU - Muntz, Richard R. TI - Computing Bounds for Performance Indices of Quasi-Lumpable Stochastic Weli- Formed Nets KW - High-Level Fuzzy Petri Nets KW - Model Symmetry KW - Bounds ER -