Title: Parameterized reachability trees for predicate/transition nets
Subjects: Nets (Mathematics), Petri nets, Trees (Graph theory)