A Symbolic Reachability Graph and Associated Markov Process for a Class of Dynamic Petri Nets.

Published in: MASCOTS (2010)

Keyphrases

petri net
markov process
markov chain
petri net model
discrete event systems
random walk
ims ld
colored petri nets
stationary distribution
stochastic process
fuzzy petri net
service composition
dynamic programming
stochastic petri net