Using Forward Reachability Analysis for Verification of Timed Petri Nets.
Parosh Aziz AbdullaJohann DeneuxPritha MahataAletta NylénPublished in: Nord. J. Comput. (2007)
Keyphrases
- reachability analysis
- model checking
- timed petri nets
- discrete event systems
- timed automata
- markov decision processes
- model based diagnosis
- incremental algorithms
- mathematical modeling
- petri net
- state space
- complex systems
- mathematical model
- dynamical systems
- artificial intelligence
- telecommunication networks
- optimal solution