This chapter provides an in-depth overview of related work. Boundedness and
safeness are at the core of various methodologies using the theory of Petri nets. The
problems of analyzing the properties of Petri nets, such as boundedness and safeness,
were undertaken more than 30 years ago and are still the subject of research. Boundedness
is an important feature of various systems, such as manufacturing systems. A bounded
Petri net determines a finite number of reachable states.
Keywords: Boundedness, Coverability graphs, Petri net invariants, Reachability graphs, Safeness.
