A structure to decide reachability in Petri nets
scientific article; zbMATH DE number 65324
scientific article