 The main advantage of Well Formed Nets is the notion of symbolic reachability graph that is composed of "symbolic states".A symbolic state is a state representing several concrete states in the state space of the system described by the Petri net.So, much larger state spaces can be represented (the gain factor can be up to exponential).