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