Login / Signup
Reachability Analysis of Time Basic Petri Nets: A Time Coverage Approach.
Carlo Bellettini
Lorenzo Capra
Published in:
SYNASC (2011)
Keyphrases
</>
petri net
reachability analysis
markov decision processes
model checking
incremental algorithms
discrete event systems
timed automata
petri net model
colored petri nets
manufacturing systems
state machines
fuzzy petri net
ims ld
stochastic petri net
state space
test suite
service composition
machine learning
theorem prover