Symbolic Reachability Analysis of Integer Timed Petri Nets.
Min WanGianfranco CiardoPublished in: SOFSEM (2009)
Keyphrases
- reachability analysis
- timed petri nets
- discrete event systems
- model checking
- markov decision processes
- timed automata
- mathematical modeling
- state space
- incremental algorithms
- dynamical systems
- petri net
- model based diagnosis
- discrete event
- complex systems
- telecommunication networks
- search algorithm
- steady state
- dynamic programming