Changing Global states
Consider the description below:
To change the global states of the above description, choose Modify Main Path conditions from the Conditions menu. A dialog with the presently serialized states appear:
Simply amend the states by deleting and typing again the states you want.
Changing Internal states
To change precondition for an event, simply highlight the event and click the Change Precondition button. Suppose we want to change precondition for the first event above. We highlight it, and click Change precondition button. The following dialog appears:
Simply choose the desired precondition and and press commit button. To change the post condition, just press Change Precondition button this time and get the following dialog:
