Login / Signup

TAPAAL and Reachability Analysis of P/T Nets.

Jonas Finnemann JensenThomas NielsenLars Kaerlund OestergaardJirí Srba
Published in: Trans. Petri Nets Other Model. Concurr. (2016)
Keyphrases
  • reachability analysis
  • markov decision processes
  • model checking
  • timed automata
  • incremental algorithms
  • state space
  • data mining
  • computational complexity
  • dynamic programming
  • decision makers