State

State

• State:

  • State Renaming: allows renaming each state of each node with a new name.

  • State Values: allows associating with each state of each node a numerical value .

  • State Long Names: allows associating with each state of each node a long name more explicit than the default state name. This name can be used in the different ways to export a database, in the html reports and in the monitors.

  • Filtered States: allows defining a state to each node as a filtered state .