Reachability analysis for a class of Petri nets.

Yu Ru Christoforos N. Hadjicostis

Published in: CDC (2009)

Keyphrases

petri net
reachability analysis
manufacturing systems
petri net model
discrete event systems
colored petri nets
model checking
markov decision processes
state machines
fuzzy petri net
stochastic petri net
service composition
e learning
expert systems
complex systems
timed automata