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

Lorenzo Capra

Browse the full MASCOTS paper archive.