In high level mathematical theory, well-formed Petri nets are a
Petri net
A Petri net, also known as a place/transition net (PT net), is one of several mathematical modeling languages for the description of distributed systems. It is a class of discrete event dynamic system. A Petri net is a directed bipartite graph t ...
class jointly elaborated between the
University of Paris
The University of Paris (), known Metonymy, metonymically as the Sorbonne (), was the leading university in Paris, France, from 1150 to 1970, except for 1793–1806 during the French Revolution. Emerging around 1150 as a corporation associated wit ...
6 (Université P. & M. Curie) and the
University of Torino
The University of Turin (Italian language, Italian: ''Università degli Studi di Torino'', UNITO) is a public university, public research university in the city of Turin, in the Piedmont (Italy), Piedmont region of Italy. It is one of the List ...
in the early 1990s.
It is a restriction of the high-level nets (or colored Nets) introduced by K. Jensen. 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).
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).
References
* G. Chiola
Characterization of timed well-formed Petri nets behavior by means of occurrence equations ''Proceedings of the Sixth International Workshop on Petri Nets and Performance Models'', page 27,
IEEE Computer Society
IEEE Computer Society (commonly known as the Computer Society or CS) is a technical society of the Institute of Electrical and Electronics Engineers (IEEE) dedicated to computing, namely the major areas of hardware, software, standards and people ...
, Washington DC, USA. (.)
Petri nets
{{comp-sci-stub