Simulation-based Verification of Hybrid Automata Stochastic Logic Formulas for Stochastic Symmetric Nets