Hierarchical reachability graph generation for Petri nets
scientific article; zbMATH DE number 1903886