Computing Bounds for the Performance Indices of Quasi-Lumpable Stochastic Well-Formed Nets

Keyphrases

• Performance Index 100%
• Petri Nets 100%
• Reachability Graph 100%
• Symbolic Reachability 66%
• Continuous-time Markov Chain 66%
• Behavioral Symmetry 66%
• System Modeling 33%
• Aggregation Behavior 33%
• Qualitative Properties 33%
• Compute-bound 33%
• Equivalent State 33%
• Construction Algorithm 33%
• Graph Construction 33%
• Chain Level 33%
• Structural Symmetry 33%

Computer Science

• Reachability Graph 100%
• Continuous Time 66%
• Time Markov Chain 66%
• And-States 33%
• Qualitative Property 33%
• Construction Algorithm 33%
• Needed Information 33%
• Graph Construction 33%

Engineering

• Reachability 100%
• Continuous Time 66%
• Symbolics 66%
• Qualitative Property 33%
• Aggregation Method 33%