 Well-formed Petri net

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.It is a restriction of the high-level nets (or colored Nets) introduced by K. Jensen.