Sometimes it is convenient to reduce the state space to only those states that fullfill some predefined bounds. This can be achieved with the Analysis Bounds Editor.
The Analysis Bounds Editor is a subapplication which is invoked from the NCES Analyzer. It influences what information is displayed in the Analyzer.
The editor contains a table which displays places in the Petri net. To specify which places should be included in this table you can use the options in the Options menu.