Fluid petri nets and hybrid model-checking: A comparative case study

Keyphrases

• Hybrid Model 100%
• Fluid Stochastic Petri Nets 100%
• Petri Net Model 100%
• Comparative Case Study 100%
• Hybrid System 60%
• Functional Analysis 20%
• Systems-based 20%
• Modeling Power 20%
• Stochastic Analysis 20%
• Discrete States 20%
• Stochastic Methods 20%
• Hybrid Automata 20%
• Formal Methods 20%
• Temperature Control System 20%
• Performance Measures 20%
• Dependability Attributes 20%
• Reachability Properties 20%
• Stochastic Model 20%
• Model Checker 20%

Engineering

• Petri Net Model 100%
• Hybrid Model 100%
• Stochastic Model 50%
• Dependability 50%
• Reachability 50%
• Formal Method 50%
• Discrete State 50%
• Hybrid Automaton 50%
• Control System 50%

Computer Science

• Petri Net 100%
• Model Checking 100%
• Comparative Case Study 100%
• Stochastic Analysis 20%
• Hybrid Automaton 20%
• Analysis Methodology 20%
• Stochastic Model 20%
• model checker 20%
• Temperature Control 20%