Lorenzo Capra. A Symbolic Reachability Graph and Associated Markov Process for a Class of Dynamic Petri Nets. In MASCOTS 2010, 18th Annual IEEE/ACM International Symposium on Modeling, Analysis and Simulation of Computer and Telecommunication Systems, Miami, Florida, USA, August 17-19, 2010. pages 458-461, IEEE, 2010. [doi]
Abstract is missing.