Simulation-based verification of hybrid automata stochastic logic formulas for stochastic symmetric nets

Keyphrases

• Logic Formulas 100%
• Symmetric Net 100%
• Hybrid Automata Stochastic Logic 100%
• Simulation Verification 100%
• Conductor-like Screening Model for Real Solvents (COSMO-RS) 60%
• Petri Nets 40%
• Generalized Stochastic Petri Nets 40%
• Colored Petri Nets 20%
• Petri Net Model 20%
• Token 20%
• Performance Measures 20%
• Simulation Techniques 20%
• Parametric Form 20%
• Path-based 20%
• High-level Petri Nets 20%
• Compact Form 20%
• Complex Path 20%
• Performance Equation 20%
• Classical Performance 20%
• Discrete-time Stochastic Process 20%

Computer Science

• Hybrid Automaton 100%
• Petri Net 60%
• Stochastic Petri Net 40%
• Colored Petri Net 20%
• Parametric Form 20%
• Performance Measure 20%
• Simulation Mode 20%
• Considered Path 20%