Login / Signup

Handles and Reachability Analysis of Free Choice Nets.

Dong-Ik LeeSadatoshi KumagaiShinzo Kodama
Published in: Application and Theory of Petri Nets (1995)
Keyphrases
  • reachability analysis
  • model checking
  • markov decision processes
  • timed automata
  • incremental algorithms
  • temporal logic
  • learning algorithm
  • reinforcement learning