Login / Signup
TAPAAL and Reachability Analysis of P/T Nets.
Jonas Finnemann Jensen
Thomas Nielsen
Lars Kaerlund Oestergaard
Jirí 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