Login / Signup

Reachability Analysis of (Timed) Petri Nets Using Real Arithmetic.

Béatrice BérardLaurent Fribourg
Published in: CONCUR (1999)
Keyphrases
  • reachability analysis
  • timed petri nets
  • model checking
  • markov decision processes
  • discrete event systems
  • neural network
  • steady state
  • timed automata