Save state space report
Tools


Save State Space Report

Save state space report

Generates and saves a state space report.

This tool is accessible through:
palettes available : State space tools

Options

The contents of a state space report are determined by the options for the "SaveReport" index entry, which is found under the "Statespace" index entry, which is in turn under the "Tool box" index entry.

Use the checkboxes to select what to put in the report.

Save Report Options

The textual format of place and transition names can be changed by setting string representation options, which is explained under how to change attributes and options in state space tool.