Probabilistic Verification of Discrete Event Systems Using Acceptance Sampling.

Håkan L. S. Younes Reid G. Simmons

Published in: CAV (2002)

Keyphrases

discrete event systems
petri net
failure diagnosis
discrete event
complex systems
timed petri nets
telecommunication networks
model based diagnosis
bayesian networks
probabilistic model
temporal constraints
monte carlo
uncertain data
dynamic systems
databases
posterior probability
sample size
lower bound
cooperative