Robert Valette
-
Hierarchical Reachability Graph Generation for Petri Nets
Formal Methods in System Design