A Symbolic Reachability Graph and Associated Markov Process for a Class of Dynamic Petri Nets | IEEE Conference Publication | IEEE Xplore