In high level mathematical theory, well-formed Petri nets are a Petri net class jointly elaborated between the University of Paris 6 (Université P. & M. Curie) and the University of Torino in the early 1990s.
The main advantage of Well Formed Nets is the notion of symbolic reachability graph that is composed of symbolic states.
So, much larger state spaces can be represented (the gain factor can be up to exponential).
This notion of symbolic state space requires that only a limited set of operators are available (identify, broadcast, successor and predecessor functions are allowed on circular finite types).
This computer science article is a stub.