Forward Reachability Analysis of Timed Petri Nets.

Parosh Aziz Abdulla Johann Deneux Pritha Mahata Aletta Nylén

Published in: FORMATS/FTRTFT (2004)

Keyphrases

reachability analysis
timed petri nets
discrete event systems
model checking
markov decision processes
timed automata
petri net
incremental algorithms
mathematical modeling
state space
dynamical systems
model based diagnosis
discrete event
telecommunication networks
theorem prover
contextual information