Experimental research is an essential element in developing novel algorithms
and testing already available solutions for their optimal application. Each proposed
algorithm should be evaluated using reference methods in terms of its accuracy and
operating time. The algorithms introduced in Chapter 4 were tested experimentally. The
conducted research was meant to compare the presented methods with reference
algorithms. Here, we also discuss the best application of the selected algorithms in order
to verify boundedness and safeness. The benchmark library used in the experiments,
containing 234 Petri nets, is part of a Hippo project developed at the University of Zielona
Góra. The set of test modules consists of various classes as well as features various levels
of complexity of the Petri nets used for the specification of hypothetical and real-life
examples of control systems.
Keywords: Analysis, Boundedness, Benchmarks, Experiments, Safeness, Verification.
