Hybrid State Petri Nets which Have the Analysis Power of Stochastic Hybrid Systems and the Formal Verification Power of Automata
None
Saved in:
| Main Authors: | , |
|---|---|
| Format: | Book Chapter |
| Language: | English |
| Published: |
IntechOpen
2010
|
| Subjects: | |
| Online Access: | https://www.intechopen.com/chapters/9186 |
| Tags: |
No Tags, Be the first to tag this record!
|
Similar Items: Hybrid State Petri Nets which Have the Analysis Power of Stochastic Hybrid Systems and the Formal Verification Power of Automata
- Using Petri nets for modeling and verification of Hybrid Systems
- Stochastic Hybrid Automata for Power Profile Modeling in Energy Systems
- Critical Observability for Automata and Petri Nets
- Petri Nets and Higher-Dimensional Automata
- Formal Translation from Reversing Petri Nets to Coloured Petri Nets
- Evaluation of Power System Security with Petri Nets